I'm looking for a Petri Nets simulator with a graphical editor for Ubuntu.
Does anyone know if there exists such a tool?
I'm looking for a Petri Nets simulator with a graphical editor for Ubuntu. Does anyone know if there exists such a tool? 


TimedArc 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 kbounded 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. (TAPAAL Screenshot (on Ubuntu 10.10)) Installation:



Try out this: http://sourceforge.net/projects/pipe2/ 

