Esparza, Javier; Nielsen, Mogens Decidability issues for Petri nets – a survey. (English) Zbl 0838.68082 J. Inf. Process. Cybern. 30, No. 3, 143-160 (1994). Summary: We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics. Cited in 1 ReviewCited in 21 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Keywords:Petri nets; decidability; equivalence notions; temporal logics PDF BibTeX XML Cite \textit{J. Esparza} and \textit{M. Nielsen}, J. Inf. Process. Cybern. 30, No. 3, 143--160 (1994; Zbl 0838.68082)