Skip to Main content Skip to Navigation
Conference papers

Factorization Properties of Symbolic Unfoldings of Colored Petri Nets

Thomas Chatain 1 Éric Fabre 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00779901
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 4:55:28 PM
Last modification on : Tuesday, June 15, 2021 - 4:29:44 PM

Links full text

Identifiers

Citation

Thomas Chatain, Éric Fabre. Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (ICATPN'10), 2010, Braga, Portugal. pp.165-184, ⟨10.1007/978-3-642-13675-7_11⟩. ⟨hal-00779901⟩

Share

Metrics

Record views

240