Nested Petri Nets: Multi-level and Recursive Systems

Issue title: Concurrency Specification and Programming (CS&P'2000)

Article type: Research Article

Authors: Lomazova, Irina A.

Affiliations: Artificial Intelligence Center, Program Systems Institute of Russian Academy of Science, Pereslavl-Zalessky, 152140, Russia

Abstract: Nested Petri nets (NP-nets) is a formalism for modeling hierarchical multi-agent systems. Tokens in nested Petri nets are elements represented by nets themselves. The paper continues investigating semantic properties of NP-nets, started in [10], where two-level NP-nets were studied. Here we consider multi-level and recursive NP-nets, for which decidability of termination and some other properties are proved. A comparison of NP-nets with other Petri net models is given.

Keywords: hierarchical multi-agent systems, nested Petri nets, well-structured transition systems, decidability

Journal: Fundamenta Informaticae, vol. 47, no. 3-4, pp. 283-293, 2001