3.9.323126.4 MB
Other Open Source
strict
core20
TAPAAL is free software for modeling and verification of Petri nets
TAPAAL is a tool for
- modelling, simulation and verification of
- Timed-Arc Petri nets
- developed at Department of Computer Science at AALborg University in Denmark
- and available for Linux, Windows and Mac OS X platforms.
- modelling, simulation and verification of
- Timed-Arc Petri nets
- developed at Department of Computer Science at AALborg University in Denmark
- and available for Linux, Windows and Mac OS X platforms.
Update History
3.9.3 (23)13 Dec 2025, 09:47 UTC
21 Jan 2020, 12:27 UTC
13 Nov 2022, 09:52 UTC
13 Dec 2025, 09:47 UTC