Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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)