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

openaccess

Identifiers

Collections

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

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

Share

Metrics

Record views

240

 

Contact                    Legal Notice                    Personal Data