document: Modeling dynamic objects in distributed systems with nested Petri nets Nested Petri nets -LRB- NP-nets -RRB- 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 -LRB- 2000 -RRB- , recursive parallel programs of O. Kushnarenko and Ph. Schnoebelen -LRB- 1997 -RRB- and process algebras is given . Some aspects of decidability for object-oriented Petri net extensions are also discussed
doc_bio_tags: O O O O B I O B I I B I I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I O O O O O O B O O O O O O O O
extractive_keyphrases: distributed systems nested petri nets process algebras decidability
abstractive_keyphrases: dynamic objects modelling multi-agent systems recursive-parallel systems object-oriented petri net