A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
A Symbolic Symbolic State Space Representation
[chapter]
2004
Lecture Notes in Computer Science
Symmetry based approaches are known to attack the state space explosion problem encountered during the analysis of distributed systems. In another way, BDD-like encodings enable the management of huge data sets. In this paper, we show how to benefit from both approaches automatically. Hence, a quotient set is built from a coloured Petri net description modeling the system. The reachability set is managed under some explicit symbolic operations. Also, data representations are managed
doi:10.1007/978-3-540-30232-2_18
fatcat:qcl4wyzyjbbmfggkl7dm64trx4