Kaki: concurrent update synthesis for regular policies via Petri games

DOI10.1007/978-3-031-07727-2_14zbMath1502.68193OpenAlexW4285214247MaRDI QIDQ2165522

Andreas L. Madsen, Rasmus G. Tollund, Kristian Ø. Nielsen, Nicklas S. Johansen, Jiří Srba, Lasse B. Kær

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-07727-2_14

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Automatic synthesis of transiently correct network updates via Petri games
• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
• Scheduling Loop-free Network Updates
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets