1991 | ReviewPaper | Buchkapitel
Hierarchies in coloured petri nets
verfasst von : Peter Huber, Kurt Jensen, Robert M. Shapiro
Erschienen in: Advances in Petri Nets 1990
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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]).