In this short presentation we propose a formal framework based on a two-player game on Petri nets. We consider multi-agent systems in which a component, the controller, needs to guarantee a certain liveness property on the system behaviour, while keeping secret some of its actions to the other system components, and we discuss the basis for a uniform solution of this problem.
Adobbati, F., Bernardinello, L., Pomello, L. (2024). A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper). In Proceedings of the 25th Italian Conference on Theoretical Computer Science (pp.213-218). CEUR-WS.
A Two Player Asynchronous Game with Privacy Constraints on Petri Nets (short paper)
Adobbati F.;Bernardinello L.;Pomello L.
2024
Abstract
In this short presentation we propose a formal framework based on a two-player game on Petri nets. We consider multi-agent systems in which a component, the controller, needs to guarantee a certain liveness property on the system behaviour, while keeping secret some of its actions to the other system components, and we discuss the basis for a uniform solution of this problem.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Adobbati-2024-ICTCS-CEUR-VoR.pdf
accesso aperto
Descrizione: This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Licenza:
Creative Commons
Dimensione
1.01 MB
Formato
Adobe PDF
|
1.01 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
