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 Connect in order to contact the contributor
Submitted on : Tuesday, January 22, 2013 - 4:55:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:59:15 PM

Links full text

openaccess

Identifiers

Collections

EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | ENS-CACHAN | INSA-RENNES | IRISA | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | UR1-MATH-NUM | ENS-PARIS-SACLAY

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

96

 

Contact                    Legal Notice                    Personal Data