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

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.9.2 on 2022-02-01
    We are happy to announce a new release of TAPAAL 3.9.2 that contains fixes in...
  • TAPAAL 3.9.1 on 2021-11-23
    We are glad to announce the release of TAPAAL 3.9.1 that includes: * numerous...
  • TAPAAL 3.9.0 on 2021-10-18
    We are happy to announce the release of TAPAAL 3.9.0 that * includes GUI sup...
  • TAPAAL 3.8.1 on 2021-10-04
    We are happy to announce the release of TAPAAL 3.8.1 with an improved perform...
  • TAPAAL 3.8.0 on 2021-04-06
    We are happy to announce the release of TAPAAL 3.8.0 that contains * impr...