Kenneth Yrke Joergensen (yrke) Publisher
  • Kenneth Yrke Joergensen (yrke) Publisher
  • Science

Install latest/edge of TAPAAL

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

Don't have snapd? Get set up for snaps.

TAPAAL is only available on the unstable edge channel. It could break and change often.

Channel Version Published

TAPAAL is free software for modeling and verification of Petri nets

TAPAAL is a tool for

  • modelling, simulation and verification of
  • Timed-Arc Petri nets
  • developed at Department of Computer Science at AALborg University in Denmark
  • and available for Linux, Windows and Mac OS X platforms.

Developer website

Contact Kenneth Yrke Joergensen

Details for TAPAAL

Other Open Source
Last updated
19 March 2020

Share this snap

Generate an embeddable card to be shared on external websites.

Related blog posts

Where people are using TAPAAL

Users by distribution (log)

Ubuntu 20.04
Ubuntu 18.04

Install TAPAAL on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.

Is there a problem with TAPAAL? Report this app