Sami Evangelista Jean-François Pradat-Peyre On the Computation of Stubborn Sets of Colored Petri Nets. 146-165 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_9 db/conf/apn/icatpn2006.html#EvangelistaP06