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.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...
  • TAPAAL 3.4.2 Release on 2018-05-14
    We are glad to announce another update of TAPAAL 3.4.2 that - fixes issues w...
  • TAPAAL 3.4.1 Release on 2018-05-03
    We are happy to announce the release of TAPAAL 3.4.1 that fixes launching TAP...
  • TAPAAL 3.4.0 Release on 2018-01-24
    We are happy to announce the release of TAPAAL 3.4.0 with improved engines fo...