TAPAAL 2.0: integrated development environment for timed-arc Petri nets
DOI10.1007/978-3-642-28756-5_36zbMATH Open1352.68181OpenAlexW160689082WikidataQ60228743 ScholiaQ60228743MaRDI QIDQ2894293FDOQ2894293
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
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}
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (18)
- Partial order reduction for reachability games
- Stubborn set reduction for timed reachability and safety 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
- Automata-driven partial order reduction and guided search for LTL model checking
- Methods for Efficient Unfolding of Colored Petri Nets
- TAPAAL
- 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
- Tools and Algorithms for the Construction and Analysis of Systems
Uses Software
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)
