For the most recent entries see the Petri Nets Newsletter.

A Structuring Mechanism for Petri Nets.

Kiehn, Astrid

Report TUM-I8902. München: Technische Universiät, Institut für Informatik, March 1989.

Abstract: The structuring mechanism presented in this paper allows the specification and usage of modules; this brings together the advantages of net theory with those of structured programming. The basic idea is to transfer the subroutine mechanism to nets by considering a set of nets instead of one single net and by introducing special caller transitions. Such a transition calls a net by consuming the input tokens and by creating a disjoint copy of the corresponding net structure. This extension of the Petri net model is called `net system'. The overall standing aim is to bring out to what an extend the augmentation of Petri nets with an subroutine mechanism changes their properties.

Keywords: net structuring; structured programming; subroutine mechanism; net system; net augmentation.


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

Back to the Petri Nets Bibliography