For the most recent entries see the Petri Nets Newsletter.

A Language for Describing Annoted Nets.

da Rocha Costa, Antônio Carlos

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography