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

Authors:
Alexandre David;Lasse Jacobsen;Morten Jacobsen;Kenneth Yrke Jørgensen;Mikael H. Møller;Jiří Srba
Affiliations:
Department of Computer Science, Aalborg University, Aalborg Øst, Denmark;Department of Computer Science, Aalborg University, Aalborg Øst, Denmark;Department of Computer Science, Aalborg University, Aalborg Øst, Denmark;Department of Computer Science, Aalborg University, Aalborg Øst, Denmark;Department of Computer Science, Aalborg University, Aalborg Øst, Denmark;Department of Computer Science, Aalborg University, Aalborg Øst, Denmark
Venue:
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2012

Citing 13
Cited 0

From timed Petri nets to timed LOTOS

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Timed Petri Nets and BQOs

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Translating TPAL Specifications into Timed-Arc Petri Nets

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm

MMM '04 Proceedings of the 10th International Multimedia Modelling Conference
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Using forward reachability analysis for verification of timed petri nets

Nordic Journal of Computing
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A framework for relating timed transition systems and preserving TCTL model checking

EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Verification of timed-arc Petri nets

SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Timed-arc petri nets vs. networks of timed automata

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Romeo: a tool for analyzing time petri nets

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

TAPAAL 2.0 is a platform-independent modelling, simulation and verification tool for extended timed-arc Petri nets. The tool supports component-based modelling and offers an automated verification of the EF, AG, EG and AF fragments of TCTL via translations to Uppaal timed automata and via its own dedicated verification engine. After more than three years of active development with a main focus on usability aspects and on the efficiency of the verification algorithms, we present the new version of TAPAAL 2.0 that has by now reached its maturity and offers the first publicly available tool supporting the analysis and verification of timed-arc Petri nets.