Title :
Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models
Author :
Segala, Roberto ; Turrini, Andrea
Author_Institution :
Dipt. di Informatica, Univ. di Verona, Italy
Abstract :
We consider bisimulation and weak bisimulation relations in the context of the labeled Markov chains of Hansson and Jonsson, the concurrent labeled Markov chains of Philippou, Lee, and Sokolsky, and the probabilistic automata of Segala. We identify a taxonomy of bisimulation relations that captures the existing definitions for each one of the three models, and we compare the relations within each model and across models. The comparison across models is given according to a notion of embedding, where we order the three models by generality and we view objects in less general models as objects of more general models.
Keywords :
Markov processes; bisimulation equivalence; probabilistic automata; alternating probabilistic model; comparative analysis; concurrent labeled Markov chain; nonalternating probabilistic model; probabilistic automata; weak bisimulation relation; Algebra; Automata; Concurrent computing; Context modeling; Petri nets; Proposals; Stochastic systems; Taxonomy;
Conference_Titel :
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Print_ISBN :
0-7695-2427-3
DOI :
10.1109/QEST.2005.9