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⟩