Decidability issues for Petri nets – a survey (1994)

by J Esparza, M Nielsen
Venue:Journal of Information Processing and Cybernetics 30