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]

Authors

Alexander Bilgram

This author has not been identified. Look up 'Alexander Bilgram' in Google

Peter Gjøl Jensen

This author has not been identified. Look up 'Peter Gjøl Jensen' in Google

Thomas Pedersen

This author has not been identified. Look up 'Thomas Pedersen' in Google

Jirí Srba

This author has not been identified. Look up 'Jirí Srba' in Google

Jakob Haahr Taankvist

This author has not been identified. Look up 'Jakob Haahr Taankvist' in Google