Decidability Issues for Petri Nets -- a survey
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.
cs.FL↗
arXiv subjects
Mogens Nielsen
Publications and source records attributed to Mogens Nielsen.