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

[Canonical Snapcraft](https://snapcraft.io/)

# Install TAPAAL on **elementary OS**

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

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

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

### 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/install/tapaal/elementary#report-snap-modal)

---

## Enable snaps on elementary OS and install TAPAAL

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

Snap can be installed on elementary OS from the command line. Open *Terminal* from the Applications launcher and type the following:

```
sudo apt update
sudo apt install snapd
```

Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly.

### Install TAPAAL

To install TAPAAL, simply use the following command:

```
sudo snap install tapaal
```

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/tapaal/elementary)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/tapaal/elementary)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)