Factorization Properties of Symbolic Unfoldings of Colored Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Dates et versions

hal-00779901 , version 1 (22-01-2013)

Identifiants

Citer

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⟩
99 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More