Welcome to APT. The purpose of this software is to run various analysis methods on Petri nets and labeled transition systems. This guide explains the most important aspects for getting started with APT.
For citing APT, we recommend the following publications:
- General: Eike Best, Uli Schlachter: Analysis of Petri Nets and Transition Systems. In ICE 2015: 53-67
- Synthesis: Uli Schlachter: Petri Net Synthesis for Restricted Classes of Nets. In Petri Nets 2016: 79-97
- Obtaining APT
- Guide for using APT
- JSON-interface for APT
- The file format
- Extending APT with own modules
- Javadoc API documentation
- A Graphical user interface for APT
APT is a command line application. If you start it without any further arguments, it provides a list of available modules:
$ java -jar apt.jar
Usage: apt <module> <arguments>
Petri net
=========
bcf Check if a Petri net is behaviourally conflict free (BCF)
bicf Check if a Petri net is binary conflict free (BiCF)
bounded Check if a Petri net is bounded or k-bounded
coverability_graph Compute a Petri net's coverability graph
[...]
If you provide the name of a module, you get information about how that module is to be called:
$ java -jar apt.jar bounded
Too few arguments
Usage: apt bounded <pn> [<k>]
pn The Petri net that should be examined
k If given, k-boundedness is checked
Check if a Petri net is bounded or k-bounded. A Petri net is bounded if there
is an upper limit for the number of token on each place. It is k-bounded if
this limit isn't bigger than k.
This module can be used as follows:
$ java -jar apt.jar bounded nets/eb-nets/basic/pn3-net.apt
bounded: No
witness_place: s2
witness_firing_sequence: "a;b"
The guide for using APT provides more explanations and examples.
More information about APT can be found on our homepage:
http://pg-apt.informatik.uni-oldenburg.de/
This project is supervised by the ParSys group at Oldenburg University:
http://www.uni-oldenburg.de/informatik/parsys/
http://www.uni-oldenburg.de/informatik/parsys/projekte/
If you have any problems when using this software, if you think that you found a bug or if you want to suggest improvements, don't hesitate to contact us. You can reach us under the following mail address:
We want to thank you for any feedback that you will provide.