%0 Conference Paper %1 bellettini2005quotient %A Bellettini, Carlo %A Capra, Lorenzo %B Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International %D 2005 %I IEEE Computer Society %K analysis petrinet %P 8 pp.- %R 10.1109/IPDPS.2005.371 %T Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches. %U http://dx.doi.org/10.1109/IPDPS.2005.371 %X State-space based techniques represent a powerful analysis tool of discrete-event systems. One way to face the state-space explosion is the exploitation of behavioral symmetries of distributed systems. Well-formed coloured Petri nets (WN) allow the direct construction of a symbolic reachability graph (SRG) that captures symmetries suitably encoded in WN syntax. Most real systems however mix symmetric and asymmetric behaviors. The SRG, and more generally, all those approaches based on a static description of symmetries, have shown not to be effective in such cases. In this paper two quotient graphs are proposed as effective analysis frameworks for asymmetric systems. Both rely on WN syntax extended with relational operators. The first one is an extension of the SRG that exploits local symmetries. The second technique uses linear constraints and substate inclusion in order to aggregate states. An asymmetric distributed leader-election algorithm is used as running example. %@ 0-7695-2312-9

@inproceedings{bellettini2005quotient, abstract = {State-space based techniques represent a powerful analysis tool of discrete-event systems. One way to face the state-space explosion is the exploitation of behavioral symmetries of distributed systems. Well-formed coloured Petri nets (WN) allow the direct construction of a symbolic reachability graph (SRG) that captures symmetries suitably encoded in WN syntax. Most real systems however mix symmetric and asymmetric behaviors. The SRG, and more generally, all those approaches based on a static description of symmetries, have shown not to be effective in such cases. In this paper two quotient graphs are proposed as effective analysis frameworks for asymmetric systems. Both rely on WN syntax extended with relational operators. The first one is an extension of the SRG that exploits local symmetries. The second technique uses linear constraints and substate inclusion in order to aggregate states. An asymmetric distributed leader-election algorithm is used as running example.}, added-at = {2014-10-11T21:18:02.000+0200}, author = {Bellettini, Carlo and Capra, Lorenzo}, biburl = {https://www.bibsonomy.org/bibtex/2ac2f73cacd2abc468356b927c9ba3409/carlobellettini}, booktitle = {Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International}, doi = {10.1109/IPDPS.2005.371}, interhash = {1f0c5aa6c17ce46f54519c511bb9c2e4}, intrahash = {ac2f73cacd2abc468356b927c9ba3409}, isbn = {0-7695-2312-9}, keywords = {analysis petrinet}, month = {April}, pages = {8 pp.-}, publisher = {IEEE Computer Society}, timestamp = {2014-10-14T13:05:23.000+0200}, title = {Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.}, url = {http://dx.doi.org/10.1109/IPDPS.2005.371}, year = 2005 }