Decidability Issues for Petri Nets

Javier Esparza, Mogens Nielsen
1994 BRICS Report Series  
This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for temporal logics.
doi:10.7146/brics.v1i8.21662 fatcat:jyrntthfg5gh5mu77soacgwbsu