In: Petri Net Newsletter No. 47, pages 24-29. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1994.
Abstract: This paper introduces a language for describing annotated nets. the language is intended for the representation of nets in computers. Net descriptions are modelled upon the formalism of recursive equations. Terms of the language denote so-called partial nets. Statements are either definitions or connections. The description of a net is a set of definitions and connections. Annotations for places, transitions and arcs are allowed. Markings can also be indicated. The semantics of the language is presented informally, leaning on schematic examples to show the possibilities of the notation.