Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm looking for a Petri Nets simulator with a graphical editor for Ubuntu.

Does anyone know if there exists such a tool?

share|improve this question

Try out this:

share|improve this answer
Tested. Did some basic testings and works as it is supposed to. Thank you for the answer. – bacchus May 23 '11 at 15:20


Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model <..> The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting). It also allows the user to check whether a given net is k-bounded for a given number k. The verification algorithm translates the TAPAAL queries into UPPAAL ones and relies on the UPPAAL verification engine, but the user does not have to leave the TAPAAL GUI during any phase of the model verification and error traces are displayed directly in TAPAAL.

enter image description here

(TAPAAL Screenshot (on Ubuntu 10.10))


sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

share|improve this answer
Tested. Works. It is based on PIPE2. Thank you for the answer. – bacchus May 23 '11 at 15:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.