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

Authors:
V. A. Bashkin;I. A. Lomazova
Affiliations:
P. G. Demidov Yaroslavl' State University, Yaroslavl', Russia;Higher School of Economics, Moscow, Russia
Venue:
Cybernetics and Systems Analysis
Year:
2011

Citing 2
Cited 0

Properties of Super-Dual Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Quantified Score

Hi-index	0.00

Visualization

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.