TAPAAL
Install latest/stable of TAPAAL
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Details for TAPAAL
Package name
- tapaal
License
- Other Open Source
Last updated
- 15 November 2022 - latest/stable
- 13 November 2022 - latest/edge
Websites
Contact
External link warning
You are about to open
Do you wish to proceed?
Report a Snap Store violation
Report TAPAAL for a Snap Store violation
Snap Store Violation Report submitted successfully
Thank you for your report. Information you provided will help us investigate further.
Error submitting report
There was an error while sending your report. Please try again later.
Share this snap
Generate an embeddable card to be shared on external websites.
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.
| Revision | Channel | Version | Build | Commit |
|---|
The build and commit information is derived from build infrastructure records.
Install TAPAAL on your Linux distribution
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
