In DeGroot, D., Harrison, P. G., Wijshoff, H. A. G., & Segall, Z., editors, *Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings. The IEEE Computer Society's 12th Annual International Symposium on*, pages 560-568, October, 2004. IEEE Computer Society.

Paper doi abstract bibtex

Paper doi abstract bibtex

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) (thanks to their particular syntax) allow the automatic building of a quotient graph, called a symbolic reachability graph (SRG), able to exploit the structural symmetries of systems. The SRG reduction power vanishes when the modeled system evolves in an asymmetric way. Some proposals to enhance the SRG have been shown to be effective only when applied to nearly symmetric systems. A quotient graph, still relying on the WN formalism, is semi-formally introduced; it tries to exploit local symmetries, rather diffuse in real systems. The model of an asymmetric distributed algorithm is used as a running example, a preliminary benchmark for the technique being presented.

@inproceedings{bellettini2004quotient, abstract = {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) (thanks to their particular syntax) allow the automatic building of a quotient graph, called a symbolic reachability graph (SRG), able to exploit the structural symmetries of systems. The SRG reduction power vanishes when the modeled system evolves in an asymmetric way. Some proposals to enhance the SRG have been shown to be effective only when applied to nearly symmetric systems. A quotient graph, still relying on the WN formalism, is semi-formally introduced; it tries to exploit local symmetries, rather diffuse in real systems. The model of an asymmetric distributed algorithm is used as a running example, a preliminary benchmark for the technique being presented.}, added-at = {2014-10-12T00:17:32.000+0200}, author = {Carlo Bellettini and Lorenzo Capra}, biburl = {http://www.bibsonomy.org/bibtex/29f8ac3ca83700df26762b68365d10a03/carlobellettini}, booktitle = {Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings. The IEEE Computer Society's 12th Annual International Symposium on}, doi = {10.1109/MASCOT.2004.1348313}, editor = {Doug DeGroot and Peter G. Harrison and Harry A. G. Wijshoff and Zary Segall}, interhash = {d01f5c803e2e716763aebb12ac3a6487}, intrahash = {9f8ac3ca83700df26762b68365d10a03}, isbn = {0-7695-2251-3}, issn = {1526-7539}, keywords = {doi myown}, month = oct, pages = {560-568}, publisher = {IEEE Computer Society}, timestamp = {2014-10-12T00:17:32.000+0200}, title = {A Quotient Graph for Asymmetric Distributed Systems.}, url = {http://csdl.computer.org/comp/proceedings/mascots/2004/2251/00/22510560abs.htm}, year = 2004 }

Downloads: 0