collaborators

1 paper

cs.FL2024

Decidability Issues for Petri Nets -- a survey

Javier Esparza, Mogens Nielsen

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.