In: CPN, Aarhus, Denmark, 10-12 June 1998 / Jensen, K.: Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design, pages 271-285. Aarhus University, June 1998.
Abstract: This work is concerned with the used of Design/CPN for the modelling and analysis of actorbased distributed real-timed systems. Coloured Petri Nets are used to obtain a formal and operational model of a specified system, as part of an iterative development process. Functional and timing properties of an achieved CPN model can be validated by means of simulation and occurrence graphs. The resultant approach facilitates transformations from analysis down through to the design and implementation in object-oriented languages like C++ and Java.
Keywords: Actors; Modularity; Real Time; Design/CPN; Temporal Analysis; Occurrence Graphs.