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

TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report on the status of the first release of TAPAAL (available at www.tapaal.net ), on its new modelling features and we demonstrate the efficiency and modelling capabilities of the tool on a few examples.

[1]  Leslie Lamport,et al.  A fast mutual exclusion algorithm , 1987, TOCS.

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[3]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[4]  Pedro M. Gonzalez del Foyo,et al.  USING TIME PETRI NETS FOR MODELING AND VERIFICATION OF TIMED CONSTRAINEDWORKFLOW SYSTEMS , 2007 .

[5]  Hans-Michael Hanisch.  Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control , 1993, Application and Theory of Petri Nets.

[6]  Keith A. Bartlett,et al.  A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.

[7]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[8]  Patricia Bouyer,et al.  Timed Petri nets and timed automata: On the discriminating power of zeno sequences , 2006, Inf. Comput..

[9]  Tommaso Bolognesi,et al.  From timed Petri nets to timed LOTOS , 1990, PSTV.

[10]  Parosh Aziz Abdulla,et al.  Timed Petri Nets and BQOs , 2001, ICATPN.

[11]  Jirí Srba.  Timed-Arc Petri Nets vs. Networks of Timed Automata , 2005, ICATPN.

[12]  Robin Milner.  The Flux of Interaction , 2001, ICATPN.

[13]  Gianfranco Ciardo,et al.  Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.

[14]  Joseph Sifakis,et al.  Compositional Specification of Timed Systems (Extended Abstract) , 1996, STACS.

[15]  Marco Ajmone Marsan,et al.  Application and Theory of Petri Nets 1993 , 1993, Lecture Notes in Computer Science.