Title:   Abstract Petri Net Notation

Authors: Falko Bause,  Peter Kemper, Pieter Kritzinger


The need to interchange the description of Petri Net models amongst researchers and users was recognised as long ago as 1988.  This document proposes an Abstract Petri Net Notation (APNN) in which various nets can be described using a common notation.  The use of the notation in the context of Petri Net software tools is shown and the general requirements for such a notation to be generally acceptable, are suggested.  Keywords in the notation are similar to LaTeX-commands in order to support readability. By employing an appropriate style-file a net description can thus be included directly into a LaTeX source document.  The notation is given for untimed Place/Transition Nets and Coloured Petri Nets as well as Generalised Stochastic Petri Nets and Hierarchical Petri Nets.

Published in:

        Forschungsbericht des Fachbereichs Informatik

        der Universitaet Dortmund (Germany), 1994.