Some Decidability Results for Nested Petri Nets

@inproceedings{Lomazova1999SomeDR,
  title={Some Decidability Results for Nested Petri Nets},
  author={Irina A. Lomazova and Philippe Schnoebelen},
  booktitle={Ershov Memorial Conference},
  year={1999}
}
Nested Petri nets are Petri nets using other Petri nets as tokens, thereby allowing easy description of hierarchical systems. Their nested structure makes some important verification problems undecidable (reachability, boundedness, . . . ) while some other problems remain decidable (termination, inevitability, . . . ). 

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 43 CITATIONS