1. Lecture Notes in Computer Science;J. Esparza,1994
2. Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. Bulletin of the EATCS 52, 244–262 (1994)
3. Ganty, P., Majumdar, R., Rybalchenko, A.: Verifying liveness for asynchronous programs. In: POPL, pp. 102–113. ACM, New York (2009)
4. Hack, M.H.T.: Decidability Questions for Petri Nets. PhD thesis, M.I.T (1976)
5. Haddad, S., Poitrenaud, D.: Checking linear temporal formulas on sequential recursive petri nets. In: TIME, pp. 198–205 (2001)