Lars Michael Kristensen, Antti Valmari. Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 104-123, Springer, 1998. [doi]
Abstract is missing.