This is the main repo for TAPAAL. This repo is used to host general issues, projects, and discussions,
You won't find any code here, look at subprojects for code:
We also have repos for managing release files and scripts:
-
Notifications
You must be signed in to change notification settings - Fork 0
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets
TAPAAL/TAPAAL
About
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published