A Symbolic Symbolic State Space Representation [chapter]

Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
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
more » ... based on a recently introduced data structure, called Data Decisions Diagrams, that allow flexible definition of application specific operators. Performances yielded by our prototype are reported in the paper.
doi:10.1007/978-3-540-30232-2_18 fatcat:qcl4wyzyjbbmfggkl7dm64trx4