1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
A High-level Language for System Design and Analysis
This paper describes how Coloured Petri Nets (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). First CP-nets are introduced by means of a small example and a formal definition of their structure and behaviour is presented. Then we describe how to extend CP-nets by a set of hierarchy constructs (allowing a hierarchical CP-net to consist of many different subnets, which are related to each other in a formal way). Next we describe how to analyse CP-nets, how to support them by various computer tools, and we also describe some typical applications. Finally, a number of future extensions are discussed (of the net model and the supporting software). The non-hierarchical CP-nets in the present paper are analogous to the CP-nets defined in  and the High-level Petri Nets defined in . In all three papers CP-nets (and HL-nets) have two different representations: The expression representation uses are expressions and guards, while the function representation uses linear functions between multi-sets. Moreover, there are formal translations between the two representations (in both directions). In  and  we used the expression representation to describe systems, while we used the function representation for all the different kinds of analysis. It has, however, turned out that it only is necessary to turn to functions when we deal with invariant analysis, and this means that we now use the expression representation for all purposes — except for the calculation of invariants. This change is important for the practical use of CP-nets — because it means that the function representation and the translations (which are a bit mathematically complex) no longer are parts of the basic definition of CP-nets. Instead they are parts of the invariant method (which anyway demands considerable mathematical skills). The development of CP-nets has been supported by several grants from the Danish National Science Research Council.
0387538631, 3540538631, 9783540538639
Lecture Notes in Computer Science, 1991, p. 342-416
Main Research Area:
Lecture Notes in Computer Science
International Conference on Applications and Theory of Petri Nets. 1989