Registered
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:
- TAPAAL Developers
- 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
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 #1971422: up-arrow button not disabled
Reported -
Bug #1971421: Product color not shown correctly in transition dialog
Reported -
Bug #1971420: Pressing "m" on empty net throws exception
Reported -
Bug #1968474: Unfold a cpn model with ltl and ctl query import unfolded querys as either ltl or ctl
Reported -
Bug #1968473: Select engine menu on windows does not filter *.exe correctly
Reported
All blueprints Latest blueprints
More contributors Top contributors
- Jiri Srba 8609 points
- Kenneth Yrke Jørgensen 3084 points
- Lena Ernstsen 1366 points
- Kristian Morsing Pedersen 479 points
- Peter Haahr Taankvist 38 points