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.Comment: https://ceur-ws.org/Vol-3170/paper8.pd