TAPAAL

TAPAAL

Kenneth Yrke Joergensen (yrke) Publisher

Install latest/stable of TAPAAL

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

sudo snap install tapaal

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

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.

Details for TAPAAL

License
  • Other Open Source
Last updated
  • 15 November 2022 - latest/stable
  • 13 November 2022 - latest/edge
Websites
Contact

Share this snap

Generate an embeddable card to be shared on external websites.

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.

Arch Linux

CentOS

Debian

elementary OS

Fedora

KDE Neon

Kubuntu

Manjaro

Pop!_OS

openSUSE

Red Hat Enterprise Linux

Ubuntu

Where people are using TAPAAL

Users by distribution (log)

Ubuntu 22.04
Ubuntu 23.10
Ubuntu 20.04

Is there a problem with TAPAAL? Report this app