Title:   Abstract Petri Net Notation

Authors: Falko Bause,  Peter Kemper, Pieter Kritzinger


Abstract: 

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.