An Introduction to the Practical Use of Coloured Petri Nets. Export

@article{Jensen98, abstract = {The development of Coloured Petri Nets (CP-nets or CPN) 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 found 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 describing synchronisation of concurrent processes, while programming languages provide the primitives for definition of data types and manipulation of their data values. The paper focuses on the practical use of Coloured Petri Nets. It introduces the basic ideas behind the CPN language, and it illustrates how CPN models can be analysed by means of simulation, state spaces and condensed state spaces. The paper also describes how CP-nets can be extended with a time concept. In this way it is also possible to use CP-nets for performance evaluation, i.e., to evaluate the speed by which a system operates. Finally, we describe a set of computer tools that support the use of CP-nets. This tool set is used by more than three hundred organisations in forty different countries - including seventy-five commercial companies. It is available free of charge, also for commercial use.}, author = {Jensen, K.}, citeulike-article-id = {486051}, citeulike-linkout-0 = {http://www.daimi.au.dk/~kjensen/papers_books/use.pdf}, editor = {{reisig} and {rozenberg}}, journal = {Lecture Notes in Computer Science: Lectures on Petri Nets II: Applications}, keywords = {coloured, coloured\_petri\_nets, high-level, modelling, nets, petri, petri\_nets, practical, spaces, state, support, tool, use, validation, verification}, posted-at = {2006-01-30 16:54:53}, priority = {2}, publisher = {Springer-Verlag}, title = {An Introduction to the Practical Use of Coloured Petri Nets.}, url = {http://www.daimi.au.dk/~kjensen/papers_books/use.pdf}, volume = {1492}, year = {1998} }

TY - JOUR ID - Jensen98 L3 - citeulike-article-id:486051 N2 - The development of Coloured Petri Nets (CP-nets or CPN) 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 found 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 describing synchronisation of concurrent processes, while programming languages provide the primitives for definition of data types and manipulation of their data values. The paper focuses on the practical use of Coloured Petri Nets. It introduces the basic ideas behind the CPN language, and it illustrates how CPN models can be analysed by means of simulation, state spaces and condensed state spaces. The paper also describes how CP-nets can be extended with a time concept. In this way it is also possible to use CP-nets for performance evaluation, i.e., to evaluate the speed by which a system operates. Finally, we describe a set of computer tools that support the use of CP-nets. This tool set is used by more than three hundred organisations in forty different countries - including seventy-five commercial companies. It is available free of charge, also for commercial use. JF - Lecture Notes in Computer Science: Lectures on Petri Nets II: Applications TI - An Introduction to the Practical Use of Coloured Petri Nets. PB - Springer-Verlag VL - 1492 KW - coloured KW - coloured_petri_nets KW - high-level KW - modelling KW - nets KW - petri KW - petri_nets KW - practical KW - spaces KW - state KW - support KW - tool KW - use KW - validation KW - verification AU - Jensen, K A2 - {reisig A2 - {rozenberg PY - 1998/// UR - http://www.daimi.au.dk/~kjensen/papers_books/use.pdf ER -