TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
From MaRDI portal
Publication:2894293
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
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
