Conference Papers
Year : 2010
Stefan Haar : Connect in order to contact the contributor
https://inria.hal.science/hal-00779901
Submitted on : Tuesday, January 22, 2013-4:55:28 PM
Last modification on : Friday, March 24, 2023-2:52:56 PM
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⟩
Collections
99
View
0
Download