Lars Michael Kristensen Antti Valmari Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. 104-123 http://dx.doi.org/10.1007/3-540-69108-1_7 1998 conf/apn/1998 ICATPN db/conf/apn/icatpn98.html#KristensenV98