APE
APE tool is intended to be an advanced environment for modelling and analysis of Petri nets. The tool supports a few classes of low level Petri nets: place-transition nets, priority nets, simple time nets and simple time nets with priorities.
At the moment, APE consists of the following modules:
- graphical Petri nets' editor;
- graphical Petri nets' simulator;
- module for computing reachability/coverability graphs;
- module for computing place/transition invariants;
- module for exporting nets into the Xfig format;
- module for exporting nets into the SVG format.
APE allows users to export a net into two different formats: Xfig and SVG. Xfig is an interactive drawing tool which runs under X Window System on most UNIX-compatible platforms. Xfig enables users to export a drawing into various formats such as EPS, GIF, JPEG, etc. Therefore, it is possible using Xfig to export a net into these formats. SVG format is used for web publication purposes. After exporting a net, a web browser may be used for viewing and simulation of a model (a javascript file is used for simulation).
Authors
- Marcin Szpyrka, PhD, DSc, mszpyrka [at] agh [dot] edu [dot] pl
- Piotr Matyasik, MSc, ptm [at] agh [dot] edu [dot] pl
Download
Release 0.5.2.1
- ape-0.5.2.1.tar.gz - source version
- ape-0.5.2.1.bin.tar.gz - binary version (GNU/Linux)
Screenshots
Some screenshots can be found here.