Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

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

Abstrakty

EN

Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. The paper discusses applicability of NP-nets for modeling task planning systems, multi-agent systems and recursive-parallel systems. A comparison of NP-nets with some other formalisms, such as OPNs of R. Valk, recursive parallel programs of O. Kushnarenko and Ph. Schnoebelen and process algebras is given. Some aspects of decidability for object-oriented Petri net extensions are also discussed.

Słowa kluczowe

EN

Petri net; nested Petri nets; multi-agent systems; task planning system; recursive-parallel program; process algebras; decidability

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 121--133
• Opis fizyczny: bibliogr. 21 poz.

Twórcy

autor

Lomazova I.A.

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