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

Download

Release 0.5.2.1

Screenshots

Some screenshots can be found here.