Abstract
Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well- suited for systems in which communication, synchronisation and resource sharing are important. Typical examples of application areas are communication protocols, dis- tributed systems, imbedded systems, automated production systems, work flow analysis and VLSI chips. 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 we find in typical industrial proj- ects. 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 data values.
| Original language | English |
|---|---|
| Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
| Editors | Ed Brinksma |
| Number of pages | 6 |
| Volume | 1217 |
| Publisher | Springer |
| Publication date | 1997 |
| Pages | 203-208 |
| ISBN (Print) | 3-540-62790-1 |
| DOIs | |
| Publication status | Published - 1997 |
| Event | International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS'97 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997 Conference number: 3 |
Conference
| Conference | International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS'97 |
|---|---|
| Number | 3 |
| Country/Territory | Netherlands |
| City | Enschede |
| Period | 02/04/1997 → 04/04/1997 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 1217 |
| ISSN | 0302-9743 |
Keywords
- colored
- coloured net
- net
- petri
- system
- wfs
- workflow