TAPAAL
TAPAAL is free software for modeling and verification of Petri nets
by Kenneth Yrke Joergensen
Description
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.…
Preview
Ratings & Reviews
No ratings yet
Be the first to rate TAPAAL.
People also visit
TryRuby
This 4th iteration of TryRuby is a website where you can learn the Ruby language
TAPAAL FAQ
What is TAPAAL?
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.
Do I need to download TAPAAL?
No. TAPAAL runs in your browser at tapaal.net, so there's nothing to install.
Who makes TAPAAL?
TAPAAL is made by Kenneth Yrke Joergensen.
What are the best TAPAAL alternatives?
Popular alternatives to TAPAAL include Stellarium, RuneLite and TryRuby. See all TAPAAL alternatives