TAPAAL A free standalone editor and simulator of timed-arc Petri nets
Download

TAPAAL Ranking & Summary

TAPAAL Tags

edit editor simulate petri net editor petri net simulator simulate petri net

TAPAAL Description

A free standalone editor and simulator of timed-arc Petri nets TAPAAL is a open source tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at AALborg University in Denmark.Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his disseration in 1962). The time extension we consider allows for explicit treatment of real-time, which is associated with the tokens in the net (each tokens has its own age) and arcs from places to transitions are labelled by time intervals that restrict the age of tokens that can be used in order to fire the respective transition. In TAPAAL tool a furter extension of this model with invariants on places and with transport arcs (which are more expressive than for example previously considered read-arcs) is implemented.The TAPAAL tools offers a simulator for experimenting with the designed nets, a graphical editor for drawing TAPN models, and a verification environment that allows to answer logical queries in a subset of CTL logic (essentially EG, AF, EF, AG formulae wiTAPAAL also allows to automatically check whether a given net is k-bounded for a given number k. The verification algorithm translates the TAPAAL queries into UPPAAL and relies on the UPPAAL engine. Here are some key features of "TAPAAL": · a graphical GUI for drawing extended timed-arc Petri nets · a simulator · a translation module for verification of logical queries

TAPAAL Related Software