Factorization Properties of Symbolic Unfoldings of Colored Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More