1/90/B: SFB-Bericht No. 342, pages 1-48 pp.. München, Germany: Technische Universiät, Institut für Informatik, Sonderforschungsbereich ``Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen'', March 1990.
Also in: Theoretical Computer Science, Vol. 80, pages 1-34. 1991.
Abstract: Petri nets gain a great deal of modelling power by representing dynamically changing items as structured tokens (instead of ``black dots''). Algebraic specifications turned out adequate for dealing with structured items. The author uses this formalism to construct Petri nets withs structured tokens. Place- and transition-invariants are useful analysis techniques for conventional Petri nets. The author derives corresponding formalisms for nets with structured tokens, based on term substitution.
Keywords: algebraic specification (and nets); structured token; place invariant; transition invariant; term substitution.