arXiv (Cornell University) · 2024 · 75 citations · 0 references
ComputingComputer ScienceFormal MethodsLogicTheory Of ComputationModel CheckingPetri NetsPredicate LogicTemporal LogicDecidabilityDecidability ProblemsEquivalence Of Petri NetsPetri Net Model CheckingPetri Net ModelsPetri Net SemanticsTimed Petri Nets
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.