I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Decibility Issues for Petri Nets - a survey


J. Esparza and M. Nielsen. Decibility issues for Petri nets - a survey. Journal of Informatik Processing and Cybernetics, 30(3):143–160, 1994.


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.

Suggested BibTeX entry:

    author = {J. Esparza and M. Nielsen},
    journal = {Journal of Informatik Processing and Cybernetics},
    number = {3},
    pages = {143--160},
    title = {Decibility Issues for {P}etri Nets - a survey},
    volume = {30},
    year = {1994}

GZipped PostScript (59 kB)
PDF (243 kB)