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

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

Get Involved

Downloads

TAPAAL does not have any download files registered with Launchpad.

Announcements

  • 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...
  • TAPAAL 3.5.0 on 2019-03-18
    We are happy to announce the release of TAPAAL 3.5.0: Intervals on arcs ...
  • TAPAAL 3.4.3 on 2018-06-29
    We are glad to announce another update of TAPAAL 3.4.3 that - fixes a bug in...