Decidability Issues for Petri Nets
DOI:
https://doi.org/10.7146/brics.v1i8.21662Abstract
This is a survey of some decidability results for Petri nets, covering the last three decades. The presentation is structured around decidability of specific properties, various behavioural equivalences and finally the model checking problem for temporal logics.Downloads
Published
1994-05-03
How to Cite
Esparza, J., & Nielsen, M. (1994). Decidability Issues for Petri Nets. BRICS Report Series, 1(8). https://doi.org/10.7146/brics.v1i8.21662
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.