Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems

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

Abstrakty

EN

Nested Petri nets is a formalism for modeling hierarchical multi-agent systems. Tokens in nested Petri nets are elements represented by nets themselves. Decidability of some crucial for verification problems shows that, in spite of their "unflat" structure, nested Petri nets maintain significant properties of ordinary Petri nets. A comparison with some other Petri net models is given. The formalism allows generalization to a recursive case, when a nested Petri net may generate its own copy as its element. Two simple examples illustrate the approach.

Słowa kluczowe

EN

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

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 195-214
• Opis fizyczny: bibliogr. 23 poz.

Twórcy

autor

Lomazova, I.A.

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