Install latest/stable of TAPAAL

This channel hasn't been updated in a while. It might be unmaintained and have stability or security issues.

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

Channel	Version	Revision	Download SBOM

Details for TAPAAL

License

Other Open Source

Last updated

15 November 2022 - latest/stable
13 November 2022 - latest/edge

This snap hasn't been updated in a while. It might be unmaintained and have stability or security issues.

Share this snap

Generate an embeddable card to be shared on external websites.

Customise your embeddable card using the options below.

Snap Store button:

Dark Light Hide button

Options:

Show all channels Show summary Show screenshot

Preview:

HTML:

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.

TAPAAL

Details for TAPAAL

License

Last updated

Websites

Contact

Report a Snap Store violation

Share this snap

TAPAAL is free software for modeling and verification of Petri nets

Install TAPAAL on your Linux distribution

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)