Fundamental study
Petri nets and algebraic specifications

https://doi.org/10.1016/0304-3975(91)90203-EGet rights and content
Under an Elsevier user license
open archive

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. We will use this formalism to construct Petri nets with structured tokens. Place- and transition-invariants are useful analysis techniques for conventional Petri nets. We derive corresponding formalisms for nets with structured tokens, based on term substitution.

Cited by (0)

In part supported by the ESPRIT basic research action DEMON, and by the subproject A3 (SEMAFOR) of the Sonderforschungsbereich 342 at TU Munich.