Decidability Issues for Petri Nets -- a survey
Javier Esparza, Mogens Nielsen
TL;DR
This survey reviews 25 years of research on the decidability of key properties, equivalences, and temporal logics in Petri nets, highlighting significant theoretical advancements and unresolved questions.
Contribution
It compiles and analyzes decades of results on decidability in Petri nets, providing a comprehensive overview of the field's progress and challenges.
Findings
Decidability results vary across different Petri net properties.
Some properties are proven decidable, others remain open problems.
The survey identifies key areas for future research.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPetri Nets in System Modeling · Business Process Modeling and Analysis · Access Control and Trust