Kamel Barkaoui Claude Dutheillet Serge Haddad An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. 69-88 1993 conf/apn/1993 Application and Theory of Petri Nets db/conf/apn/apn93.html#BarkaouiDH93 http://dx.doi.org/10.1007/3-540-56863-8_41