A two-player asynchronous game on fully observable Petri nets

DOI10.1007/978-3-662-63079-2_6zbMath1464.68220OpenAlexW3133409486MaRDI QIDQ2032842

Luca Bernardinello, Federica Adobbati, Lucia Pomello

Publication date: 14 June 2021

Full work available at URL: https://doi.org/10.1007/978-3-662-63079-2_6

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A two-player asynchronous game on fully observable Petri nets

Cites Work

• Petri games: synthesis of distributed systems with causal memory
• Branching processes of Petri nets
• Weak observable liveness and infinite games on finite graphs
• A two-player asynchronous game on fully observable Petri nets
• Observable liveness of Petri nets
• On Characterising Distributability
• Concurrent Logic Games on Partial Orders
• Petri Net Distributability

This page was built for publication: A two-player asynchronous game on fully observable Petri nets