Nested Petri Nets: Multi-level and Recursive Systems

• Autorzy: Lomazova, I.A.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

hierarchical multi-agent systems; nested Petri nets; well-structured transition systems

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 283-293
• Opis fizyczny: bibliogr. 18 poz.

Twórcy

autor

Lomazova, I.A.

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