Decidability issues for Petri nets - a survey (1994)

by J Esparza, M Nielsen
Venue:Bulletin of the EATCS