TAPAAL 2.0: integrated development environment for timed-arc Petri nets

DOI10.1007/978-3-642-28756-5_36MaRDI QIDQ2894293zbMATHOpenAlexWikidataFDO

Authors Lasse Jacobsen, Morten 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)

Recommendations

• Verification of Timed-Arc Petri Nets
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• scientific article; zbMATH DE number 2088674
• Structural translation from time Petri nets to timed automata
• Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}

Cited in

(18)

• Soundness of timed-arc workflow nets
• Stubborn versus structural reductions for Petri nets
• Kaki: efficient concurrent update synthesis for SDN
• Stubborn set reduction for timed reachability and safety games
• Automatic synthesis of transiently correct network updates via Petri games
• Tools and Algorithms for the Construction and Analysis of Systems
• Automata-driven partial order reduction and guided search for LTL model checking
• Partial order reduction for reachability games
• Taking Some Burden Off an Explicit CTL Model Checker
• TAPAAL
• Property directed reachability for generalized Petri nets
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Strong behavioral similarities in timed-arc Petri nets
• Improvements in unfolding of colored Petri nets
• 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

Describes a project that uses

Uses Software

• Romeo
• TINA
• Uppaal

This page was built for publication: TAPAAL 2.0: integrated development environment for timed-arc Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894293)