Registered
2008-12-26
by
Kenneth Yrke Jørgensen
An editor, simulator and verification tool for Timed-Arc Petri Nets.
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
Project information
- Maintainer:
- TAPAAL Maintainers
- Driver:
- Jiri Srba
- Licence:
- Simplified BSD Licence, Open Software Licence v 3.0
View full history Series and milestones
trunk series is the current focus of development.
All questions Latest questions
-
usage of older xml-models
Posted on 2019-09-17 -
simulation mode
Posted on 2013-06-24 -
I want the petri Nets model for Pregmatic General multicast Protocol
Posted on 2013-04-25 -
Ist there some way to query markings without a successor?
Posted on 2013-03-06 -
Stopwatch in TAPAAL?
Posted on 2013-02-12
All FAQs FAQs for TAPAAL
- Why does the trace options in the queries get disabled when symmetry reduction is selected?
- What kind of reduction method in the query dialog is the fastest?
- What is the meaning of "Extra number of tokens" in the query dialog?
- Why in the simulator is the age of tokens in places after a delay 0.001 unchanged or shows something like #6 ?
- What does the token selection method in the simulation mode exactly do?
All bugs Latest bugs reported
-
Bug #1880377: Some draw options remain selected switching to simulation mode
Reported on 2020-05-24 -
Bug #1880299: View shortcuts ctrl-1 ctrl2 ... do not work in 3.6
Reported on 2020-05-23 -
Bug #1879351: Tab close button disappears for long petri net names
Reported on 2020-05-18 -
Bug #1879130: Show net after structural reductions
Reported on 2020-05-17 -
Bug #1879129: Verificiation results explanation
Reported on 2020-05-17
All blueprints Latest blueprints
More contributors Top contributors
- Jiri Srba 5419 points
- Kenneth Yrke Jørgensen 4042 points
- Peter Haahr Taankvist 1119 points
- Thomas Pedersen 81 points
- Lena Said 56 points
