ArticlesExploiting Partial Symmetries for Markov Chain Aggregation
Under a Creative Commons license
open access
Key words
Lumpable Markov Chains
Extended Symbolic Reachability Graph
High-level Petri Nets
Symmetries
Cited by (0)
- 1
This work was partially supported by the Italian MURST 60% and by the EEC project n. 28620 TIRAN.
Copyright © 2004 Elsevier B.V.