IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Most analysis techniques for discrete-event systems rely on building the system state-transition graphs. A known critical issue is represented by the state-space explosion. One way to face this problem is the exploitation of behavioral symmetries. Well-Formed Coloured Petri Nets (WN) allow (thanks to their particular syntax) the automatical building of a quotient graph, called Symbolic Reachability Graph -SRG, able to exploit the structural symmetries of systems. The SRG reduction power vanishes when the modeled system evolves in asymmetric way. Some proposals presented in literature to enhance the SRG have actually shown to be effective only when applied to nearly symmetric systems. In this paper a quotient graph still relying on the WN formalism is semi-formally introduced, that tries to exploit local symmetries, rather diffuse in real systems. The model of an asymmetric distributed algorithm is used throughout the paper as running example, and preliminary benchmark for the technique being presented.