L.M. Kristensen, J.B. Jørgensen and K. Jensen: Application of Coloured Petri Nets in System Development. In J. Desel, W. Reisig, G. Rozenberg (eds): Lectures on Concurrency and Petri Nets. Advanced in Petri Nets. Proc. of 4th Advanced Course on Petri Nets. Lecture Notes in Computer Science vol. 3098, Springer-Verlag 2004, 626-685.

• Keywords: Case studies, modelling, state spaces.
• Comments: This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.
• Abstract
• PDF-file
• LINK at Springer-Verlag

L.M. Kristensen and K. Jensen. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In Integration of Software Specification Techniques for Applications in Engineering. Springer Lecture Notes in Computer Science vol. 3147, Springer-Verlag 2004, 248-269.

• Keywords: Case study, modelling, state spaces.
• Comments: This paper presents two case studies where CP-nets and their supporting computer tools have been used for ad-hoc networks.
• Abstract
• PDF-file
• LINK at Springer-Verlag