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.