---
title: Install TAPAAL on Linux | Snap Store
description: Get the latest version of TAPAAL for Linux - TAPAAL is free software
  for modeling and verification of Petri nets
url: https://snapcraft.io/tapaal
---

# TAPAAL

[Kenneth Yrke Joergensen (yrke)](https://snapcraft.io/publisher/yrke "View all snaps from Kenneth Yrke Joergensen (yrke)")

* [Kenneth Yrke Joergensen (yrke)](https://snapcraft.io/publisher/yrke "View all snaps from Kenneth Yrke Joergensen (yrke)")
* [Science](https://snapcraft.io/search?categories=science)

latest/stable 3.9.3

Install latest/stable of TAPAAL

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

---

**Install using the command line**

```
sudo snap install tapaal
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* 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.

---

### Websites

* [www.tapaal.net](https://www.tapaal.net "https://www.tapaal.net")

---

### Contact

* [kenneth@yrke.dk](mailto:kenneth@yrke.dk "mailto:kenneth@yrke.dk")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/tapaal#report-snap-modal)

---

* [Description](https://snapcraft.io/tapaal#tab-description)
* [Security](https://snapcraft.io/tapaal#tab-security)

#### 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.

---

## 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](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/tapaal/arch)

[### CentOS](https://snapcraft.io/install/tapaal/centos)

[### Debian](https://snapcraft.io/install/tapaal/debian)

[### elementary OS](https://snapcraft.io/install/tapaal/elementary)

[### Fedora](https://snapcraft.io/install/tapaal/fedora)

[### KDE Neon](https://snapcraft.io/install/tapaal/kde-neon)

[### Kubuntu](https://snapcraft.io/install/tapaal/kubuntu)

[### Manjaro](https://snapcraft.io/install/tapaal/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/tapaal/pop)

[### openSUSE](https://snapcraft.io/install/tapaal/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/tapaal/rhel)

[### Ubuntu](https://snapcraft.io/install/tapaal/ubuntu)