PeTe is a graphical Petri net modelling and verification tool. A binary package for Ubuntu can be found here and a PPA for Ubuntu 10.10 is available here. An untimed Petri net verification engine for TAPAAL based on PeTe, can be found at launchpad.net/verifypn.
PeTe is cross-platform, but it might require some tweaks to build it on a non-unix platform. Following dependencies are required for building:
- Qt (>= 4.7)
- qmake (>= 2.0)
- UnitTest++ (>= 1.4)
- pkg-config (>= 0.25)
- GNU Bison (>= 2.4)
- flex (>= 2.5)
- lp_solve (>= 5.5)
- llvm (>= 2.8)
- igraph (>= 0.5.3)
- libproc (>= 3.2.8)
PeTe is available under the terms of the GNU GPL versoin 3 or (at your option) any later version. If this license doesn't suit you're welcome to contact us, and purpose an alternative license.
- Jonas Finnemann Jensen
- Thomas Søndersø Nielsen
- Lars Kærlund Østergaard