Analysing multi-agent systems using 1-safe Petri nets
F Adobbati, Ł Mikulski - arXiv preprint arXiv:2310.19507, 2023 - arxiv.org
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 …
processing is the size of the global model. One of the popular approaches that address this …