TAPAAL 2.4.3 Description:
TAPAAL for Linux : Editor and simulator of timed-arc Petri nets
TAPAAL is an utility that provides a standalone editor and simulator of timed-arc Petri nets. For running an automated verification, the user should first install the latest verion of UPPAAL development version. TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University. It is based on the Petri Net drawing tool PIPE2. 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.
Conclusion
To conclude TAPAAL works on Linux operating system and can be easily downloaded using the below download link according to BSD License license. The download file is only 6.88 MB in size.TAPAAL was filed under the Utilty category and was reviewed in softlookup.com and receive 3.8/5 Score.
TAPAAL has been tested by our team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. We will recheck TAPAAL when updated to assure that it remains clean.
TAPAAL user Review
Please review TAPAAL application and submit your comments below. We will collect all comments in an effort to determine whether the TAPAAL software is reliable, perform as expected and deliver the promised features and functionalities.Popularity 7.6/10 - Downloads - 76 - Score - 3.8/5
Category: | Utilty |
Publisher: | The TAPAAL Team |
Last Updated: | 03/14/2019 |
Requirements: | Not specified |
License: | BSD License |
Operating system: | Linux |
Hits: | 387 |
File size: | 6.88 MB |
Price: | Not specified |
Name: * |
E-Mail: * |
Comment: * |