Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Decidability Issues for Petri Nets -- a survey

Javier Esparza, Mogens Nielsen

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.

Decidability Issues for Petri Nets -- a survey

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.

Paper Structure

This paper contains 19 sections, 6 equations.

Table of Contents

  1. Introduction
  2. Basic definitions
  3. Properties
  4. Boundedness
  5. Reachability
  6. Liveness
  7. Deadlock-freedom
  8. Home states and home spaces
  9. Promptness and strong promptness
  10. Persistence
  11. Regularity and context-freeness
  12. Semilinearity
  13. Non-termination
  14. Equivalences
  15. Marking equivalence
  16. ...and 4 more sections