\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL

DOI10.1007/978-3-030-53291-8_5zbMath1478.68156arXiv2005.07130OpenAlexW3043546341MaRDI QIDQ2226722

Ernst-Ruediger Olderog, Manuel Gieseking, Bernd Finkbeiner, Jesko Hecking-Harbusch

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2005.07130

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items

The synthesis problem for repeatedly communicating Petri games, Kaki: concurrent update synthesis for regular policies via Petri games, Solving high-level Petri games, Unnamed Item, Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems, Automatic synthesis of transiently correct network updates via Petri games

Uses Software

• AdamMC