Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
426751 | Information and Computation | 2014 | 23 Pages |
Abstract
This paper develops a decision algorithm for weak bisimulation on Markov Automata (MA). For this purpose, different notions of vanishing states (a concept originating from the area of Generalised Stochastic Petri Nets) are defined. In particular, non-naïvely vanishing states are shown to be essential for relating the concepts of (state-based) naïve weak bisimulation and (distribution-based) weak bisimulation. The bisimulation algorithm presented here follows the partition-refinement scheme and has exponential time complexity.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Johann Schuster, Markus Siegle,