An Introduction to the Theoretical Aspects of Coloured Petri nets

TY - GEN

T1 - An Introduction to the Theoretical Aspects of Coloured Petri nets

AU - Jensen, Kurt

PY - 1994

Y1 - 1994

N2 - This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets have been developed, from being a promising theoretical model, to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). The paper contains the formal definition of CP-nets and their basic concepts (e.g., the different dynamic properties such as liveness and fairness). The paper also contains a short introduction to the analysis methods, in particular occurrence graphs and place invariants. The development of CP-nets has been driven by the desire to develop a modelling language — at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity that we find in typical industrial projects. To achieve this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for the description of the synchronisation of concurrent processes, while programming languages provide the primitives for the definition of data types and the manipulation of their data values.The paper does not assume that the reader has any prior knowledge of Petri nets — although such knowledge will, of course, be a help.

AB - This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets have been developed, from being a promising theoretical model, to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). The paper contains the formal definition of CP-nets and their basic concepts (e.g., the different dynamic properties such as liveness and fairness). The paper also contains a short introduction to the analysis methods, in particular occurrence graphs and place invariants. The development of CP-nets has been driven by the desire to develop a modelling language — at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity that we find in typical industrial projects. To achieve this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for the description of the synchronisation of concurrent processes, while programming languages provide the primitives for the definition of data types and the manipulation of their data values.The paper does not assume that the reader has any prior knowledge of Petri nets — although such knowledge will, of course, be a help.

KW - Petri Nets

KW - High-level Petri Nets

KW - Coloured Petri Nets

U2 - 10.1007/3-540-58043-3

DO - 10.1007/3-540-58043-3

M3 - Article in proceedings

SN - 978-3-540-58043-0

VL - 803

T3 - Lecture Notes in Computer Science

SP - 230

EP - 272

BT - A Decade of Concurrency Reflections and Perspectives

A2 - Bakker, J.W.de

A2 - Roever, W.-P.de

A2 - Rozenberg, G.

PB - Springer

T2 - The REX School/Symposium

Y2 - 1 June 1993 through 4 June 1993

ER -