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

DOI10.1007/978-3-642-28756-5_36MaRDI QIDQ2894293zbMATH OpenOpenAlexWikidataFDO

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)

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

Describes a project that uses

Uses Software

• Uppaal
• TINA
• Romeo

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)