1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Meta Software Corporation, 150 Cambridge Park Drive, 02140 Cambridge, MA3 Department of Computer Science, Science and Technology, Aarhus University4 Department of Computer Science, Science and Technology, Aarhus University
The paper shows how to extend Coloured Petri Nets with a hierarchy concept. The paper proposes five different hierarchy constructs, which allow the analyst to structure large CP-nets as a set of interrelated subnets (called pages). The paper discusses the properties of the proposed hierarchy constructs, and it illustrates them by means of two examples. The hierarchy constructs can be used for theoretical considerations, but their main use is to describe and analyse large real-world systems. All of the hierarchy constructs are supported by the editing and analysis facilities in the CPN Palette tool package (see [1–5]).
0387538631, 3540538631, 9783540538639
Lecture Notes in Computer Science, 1991, p. 313-341