Abstract
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.
Similar content being viewed by others
References
K. Jensen and L. Kristensen, Colored Petri Nets: Modeling and Validation of Concurrent Systems, Springer, N.Y. (2009).
M. Kohler and H. Rolke, “Properties of super-dual nets,” Fundamenta Inform., 72, 245–254 (2006).
I. A. Lomazova, Nested Petri Nets: Modeling and Analysis of Distributed Systems with Object Structure [in Russian], Nauchnyi Mir, Moscow (2004).
V. A. Bashkin, “Nets of active resources,” Modeling and Analysis of Information Systems, Vol. 14, No. 4, 13–19 (2007).
W. Reisig, “Petri net models of distributed algorithms,” Lecture Notes in Comput. Sci., Vol. 1000, 441–454 (1995).
V. A. Bashkin, “Nets of active resources for distributed systems modeling,” in: Joint Bulletin of NCC&IIS (Comp. Science), Vol. 28, Novosibirsk (2008), pp. 4–54.
V. E. Kotov, Petri Nets [in Russian], Nauka, Moscow (1984).
Author information
Authors and Affiliations
Corresponding author
Additional information
The present work was supported by the Russian Foundation for Basic Research (09-01-00277) and Federal Agency for Science and Innovations (02.740.11.0207).
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 31–39, March–April 2011
Rights and permissions
About this article
Cite this article
Bashkin, V.A., Lomazova, I.A. Modelling multiagent systems with the help of generalized nets of active resources. Cybern Syst Anal 47, 202–209 (2011). https://doi.org/10.1007/s10559-011-9303-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-011-9303-9