In the modelling and analysis of large, real systems, the main problem in their efficient processing is the size of the global model. One of the popular approaches that address this issue is the decomposition of such global model into much smaller submodels and interaction between them. In this paper we discuss the translation of multi-agent systems with the common-action-based synchronization to 1-safe Petri nets. We prove that the composition in terms of transition systems is equivalent to the transition-based fusion of nets modelling different agents. We also address the issue of permanent disabling of some parts of the system by constraints implied by the synchronization and discuss the methods of solving it without the computation of the entire global model.

Adobbati, F., Mikulski, Ł. (2022). Analysing Multi-Agent Systems using 1-safe Petri Nets. In 2022 International Workshop on Petri Nets and Software Engineering, PNSE 2022 (pp.139-155).

Analysing Multi-Agent Systems using 1-safe Petri Nets

Adobbati, Federica
;
2022

Abstract

In the modelling and analysis of large, real systems, the main problem in their efficient processing is the size of the global model. One of the popular approaches that address this issue is the decomposition of such global model into much smaller submodels and interaction between them. In this paper we discuss the translation of multi-agent systems with the common-action-based synchronization to 1-safe Petri nets. We prove that the composition in terms of transition systems is equivalent to the transition-based fusion of nets modelling different agents. We also address the issue of permanent disabling of some parts of the system by constraints implied by the synchronization and discuss the methods of solving it without the computation of the entire global model.
paper
1-safe; composition; multi-agent systems; Petri nets;
English
PNSE'22 - International Workshop on Petri Nets and Software Engineering - 20 July 2022
2022
Kohler-Bussmeier, M; Moldt, D; Rolke, H
2022 International Workshop on Petri Nets and Software Engineering, PNSE 2022
2022
3170
139
155
none
Adobbati, F., Mikulski, Ł. (2022). Analysing Multi-Agent Systems using 1-safe Petri Nets. In 2022 International Workshop on Petri Nets and Software Engineering, PNSE 2022 (pp.139-155).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/390186
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact