Reference:

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

Abstract:

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:

@article{EN94,
    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}
}