In: Burkhard, H.-D.; Czaja, L.; Nguyen, H.-S.; Starke, P.: Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999, pages 127-140. 1999.
Abstract: Nested Petri nets is a formalism for modeling hierarchical multi-agent systems. Tokens in nested Petri nets are elements (objects) represented by nets themselves. Recursive case, when a nested Petri net may generate its own copy as its element, is also considered. The formalism is illustrated by two simple examples. 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.