Improvements in Unfolding of Colored Petri Nets

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist. Improvements in Unfolding of Colored Petri Nets. In Paul C. Bell, Patrick Totzke, Igor Potapov, editors, Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. Volume 13035 of Lecture Notes in Computer Science, pages 69-84, Springer, 2021. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication:

  翻译: