Published in Volume XII, 2002, pages 29-52

Authors: Toader JUCAN, Oana CAPTARENCU


Three level Petri nets is a formalism for modelling hierarchical multi — agent systems. Tokens in three — level Petri Nets are elements represented by two — level Petri nets. This model maintains the main features of Petri net model: some crucial for verification problems remain decidable for three — level Petri nets (termination, control — state maintainability and the inevitability problem). A comparison with some other “flat” Petri net models is given.


  title={Three Level Petri Nets Rule Based Reduction.},
  author={Toader JUCAN and Oana CAPTARENCU},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}