Decidability Issues for Petri Nets

Authors

  • Javier Esparza
  • Mogens Nielsen

DOI:

https://doi.org/10.7146/brics.v1i8.21662

Abstract

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