Modelling multiagent systems with the help of generalized nets of active resources

The problem of modelling infinite-state multiagent systems is considered. Formalisms based on the generalization of nets of active resources are studied. New modeling techniques are defined, namely, parametrized AR nets, two-level AR schemes, and two-level AR nets. It is shown that the syntax of these formalisms is convenient for modelling multiagent systems such as systems with complex modular or hierarchical structures. Parametrized AR nets and two-level AR schemes are proved to be equivalent to Petri nets, whereas two-level AR systems are proved to be equivalent to nested Petri nets.