Application of Coloured Petri Nets in System Development

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Lars Michael Kristensen, Denmark
  • Jens Bæk Jørgensen, Denmark
  • Kurt Jensen
  • Department of Computer Science
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. 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.
Original languageEnglish
Title of host publicationLectures on Concurrency and Petri Nets
EditorsJ. Desel, W. Reisig, G. Rozenberg
Number of pages60
PublisherSpringer
Publication year2004
Pages626-685
ISBN (print)978-3-540-22261-3
DOIs
Publication statusPublished - 2004
EventAdvanced Course on Petri Nets. ACPN 2003 - Eichstätt, Germany
Duration: 15 Sep 200326 Sep 2003
Conference number: 4

Conference

ConferenceAdvanced Course on Petri Nets. ACPN 2003
Nummer4
LandGermany
ByEichstätt
Periode15/09/200326/09/2003
SeriesLecture Notes in Computer Science
Volume3098
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 282595