Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
In this paper, we present an approach to model and simulate models of multi-agent systems (MAS) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions are described by means of an interface. It is a logical formula over atomic interaction constraints specifying...
Main Authors: | R. A. Nesterov, A. A. Mitsyuk, I. A. Lomazova |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Series: | Труды Института системного программирования РАН |
Subjects: | |
Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/536 |
Similar Items
-
Simulating Petri Nets with Inhibitor and Reset Arcs
by: Pavel Аlexeevitch Pertsukhov, et al.
Published: (2019-10-01) -
Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01) -
On Process Model Synthesis Based on Event Logs with Noise
by: A. A. Mitsyuk, et al.
Published: (2014-08-01) -
DOES YOUR EVENT LOG FIT THE HIGH-LEVEL PROCESS MODEL?
by: A. K. Begicheva, et al.
Published: (2015-06-01) -
Using Interface Patterns for Compositional Discovery of Distributed System Models
by: R. A. Nesterov, et al.
Published: (2018-10-01)