Decidability Issues for Petri Nets -- a survey
arXiv:2411.01592
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.
arXiv:2411.01592
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.