TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

DOI10.1007/978-3-642-28756-5_36zbMath1352.68181OpenAlexW160689082WikidataQ60228743 ScholiaQ60228743MaRDI QIDQ2894293

Morten Jacobsen, Alexandre David, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jiří Srba

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_36

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)

Related Items

Stubborn set reduction for timed reachability and safety games ⋮ Stubborn versus structural reductions for Petri nets ⋮ Automata-driven partial order reduction and guided search for LTL model checking ⋮ LTL under reductions with weaker conditions than stutter invariance ⋮ Kaki: concurrent update synthesis for regular policies via Petri games ⋮ Elimination of detached regions in dependency graph verification ⋮ Methods for Efficient Unfolding of Colored Petri Nets ⋮ Taking Some Burden Off an Explicit CTL Model Checker ⋮ Improvements in unfolding of colored Petri nets ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ Partial order reduction for reachability games ⋮ Soundness of Timed-Arc Workflow Nets ⋮ TAPAAL ⋮ Strong behavioral similarities in timed-arc Petri nets ⋮ Automatic synthesis of transiently correct network updates via Petri games

Uses Software

• Romeo
• TINA
• Uppaal