Citation Context

...(meta-)model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stochastic, and probabilistic systems. In order to encompass processes combining several quantitative aspects, extensions of the WLTS framework have been further proposed, state-to-function transition systems (FuTSs) and uniform labelled transition systems (ULTraSs) being two prominent examples. In this paper we show that this hierarchy of meta-models collapses when studied under the lens of bisimulation-coherent encodings. 1 Introduction Weighted labelled transition systems (WLTSs) [10] is a meta-model for systems with quantitative aspects: transitions P a,w−−→ Q are labelled with weights w, taken from a given monoidal weight structure. Many computational aspects can be captured just by changing the underlying weight structure: weights can model probabilities, resource costs, stochastic rates, etc.; as such, WLTSs are a generalisation of labelled transition systems (LTSs), probabilistic systems (PLTSs) [6], stochastic systems [9], among others. Definitions and results developed in this setting instantiate to existing models, thus recovering known results and discovering new ...