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.
No takes yet. Share an insight, caveat, or question.
Esparza et al. (2024) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: