Key points are not available for this paper at this time.
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.
Esparza et al. (Sun,) studied this question.