Three Level Petri Nets Rule Based Reduction.

Published in Volume XII, 2002, pages 29-52

Authors: Toader JUCAN, Oana CAPTARENCU

Abstract

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.

Bibtex

@article{sacscuza:jucan2002tlpnrbr,
  title={Three Level Petri Nets Rule Based Reduction.},
  author={Toader JUCAN and Oana CAPTARENCU},
  journal={Scientific Annals of Computer Science},
  volume={12},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2002},
  pages={29--52},
  publisher={``A.I. Cuza'' University Press}
}