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

TAPAAL Maintainers
Jiri Srba
Simplified BSD Licence, Open Software Licence v 3.0

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

Get Involved


TAPAAL does not have any download files registered with Launchpad.


  • TAPAAL 3.8.0 on 2021-04-06
    We are happy to announce the release of TAPAAL 3.8.0 that contains * impr...
  • TAPAAL 3.7.1 on 2020-11-01
    We are happy to announce new release of TAPAAL. This version includes: * ...
  • TAPAAL 3.6.1 on 2020-03-18
    We are happy to announce the release of TAPAAL 3.6.1 that contains numerous b...
  • TAPAAL 3.6.0 on 2019-10-21
    Today we released TAPAAL 3.6.0 that introduces: * Automatic layout generator...
  • TAPAAL 3.5.1 on 2019-04-23
    TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in t...