A Symbolic Symbolic State Space Representation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

A Symbolic Symbolic State Space Representation

Yann Thierry-Mieg
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Denis Poitrenaud
  • Fonction : Auteur
  • PersonId : 968343

Résumé

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 symbolically 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.

Dates et versions

hal-01520673 , version 1 (10-05-2017)

Identifiants

Citer

Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud. A Symbolic Symbolic State Space Representation. 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE '04), Sep 2004, Madrid, Spain. pp.276-291, ⟨10.1007/978-3-540-30232-2_18⟩. ⟨hal-01520673⟩
104 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More