1 citations · 1 across the 4 of their papers we have counts for
4 papers
Asynchronous Multi-Agent Systems with Petri nets
Federica Adobbati, Łukasz Mikulski
Modeling the interaction between components is crucial for many applications and serves as a fundamental step in analyzing and verifying properties in multi-agent systems. In this…
Analysing Multi-Agent Systems using 1-safe Petri Nets
Federica Adobbati, Łukasz Mikulski
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 thi…
Looking for winning strategies in two-player games on Petri nets with partial observability
Federica Adobbati, Luca Bernardinello, Lucia Pomello
We define a game on 1-safe Petri nets, where a user plays against an environment in order to reach a goal on the system. The goal is expressed through an LTL-X formula, and represe…
Asynchronous games on Petri nets and ATL
Federica Adobbati, Luca Bernardinello, Lucia Pomello
We define a game on distributed Petri nets, where several players interact with each other, and with an environment. The players, or users, have perfect knowledge of the current st…