Decidability Issues for Petri Nets -- a survey
Formal Languages and Automata Theory
2024-11-05 v1 Distributed, Parallel, and Cluster Computing
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.
Keywords
Cite
@article{arxiv.2411.01592,
title = {Decidability Issues for Petri Nets -- a survey},
author = {Javier Esparza and Mogens Nielsen},
journal= {arXiv preprint arXiv:2411.01592},
year = {2024}
}