论文信息 - A Two-Player Asynchronous Game on Fully Observable Petri Nets - 字舞流文

A Two-Player Asynchronous Game on Fully Observable Petri Nets

Luca Bernardinello | Lucia Pomello | Federica Adobbati

[1] Bernd Finkbeiner,et al. Adam: Causality-Based Synthesis of Distributed Systems , 2015, CAV.

[2] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[3] Luca Bernardinello,et al. Weak Observable Liveness and Infinite Games on Finite Graphs , 2017, Petri Nets.

[4] Julian Gutierrez. Concurrent Logic Games on Partial Orders , 2011, WoLLIC.

[5] Bernd Finkbeiner,et al. Petri games: Synthesis of distributed systems with causal memory , 2014, Inf. Comput..

[6] Jörg Desel,et al. Observable liveness of Petri nets , 2015, Acta Informatica.

[7] Joost Engelfriet,et al. Branching processes of Petri nets , 1991, Acta Informatica.

[8] Philippe Darondeau,et al. Petri Net Distributability , 2011, Ershov Memorial Conference.

[9] Ursula Goltz,et al. On Characterising Distributability , 2013, Log. Methods Comput. Sci..