====== 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@agh.edu.pl|mszpyrka [at] agh [dot] edu [dot] pl]] * Piotr Matyasik, MSc, [[ptm@agh.edu.pl|ptm [at] agh [dot] edu [dot] pl]] ====== Download ====== **Release 0.5.2.1** * {{:ape:ape-0.5.2.1.tar.gz}} - source version * {{:ape:ape-0.5.2.1.bin.tar.gz}} - binary version (GNU/Linux) ====== Screenshots ====== Some screenshots can be found [[:ape:screenshots|here]].