Application of Coloured Petri Nets in System Development

Lars Michael Kristensen; Jens Bæk Jørgensen; Kurt Jensen

doi:10.1007/b98282

Application of Coloured Petri Nets in System Development

Lars Michael Kristensen
, Jens Bæk Jørgensen
, Kurt Jensen

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

67 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Lectures on Concurrency and Petri Nets
Editors	J. Desel, W. Reisig, G. Rozenberg
Number of pages	60
Publisher	Springer
Publication date	2004
Pages	626-685
ISBN (Print)	978-3-540-22261-3
DOIs	https://doi.org/10.1007/b98282
Publication status	Published - 2004
Event	Advanced Course on Petri Nets. ACPN 2003 - Eichstätt, Germany Duration: 15 Sept 2003 → 26 Sept 2003 Conference number: 4

Conference

Conference	Advanced Course on Petri Nets. ACPN 2003
Number	4
Country/Territory	Germany
City	Eichstätt
Period	15/09/2003 → 26/09/2003

Series	Lecture Notes in Computer Science
Volume	3098
ISSN	0302-9743

Access to Document

10.1007/b98282

Library access?

Check availability with the Royal Danish Library

Cite this

@inproceedings{4535b330815611dcbee902004c4f4f50,

title = "Application of Coloured Petri Nets in System Development",

abstract = "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.",

author = "Kristensen, \{Lars Michael\} and J{\o}rgensen, \{Jens B{\ae}k\} and Kurt Jensen",

year = "2004",

doi = "10.1007/b98282",

language = "English",

isbn = "978-3-540-22261-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "626--685",

editor = "J. Desel and W. Reisig and G. Rozenberg",

booktitle = "Lectures on Concurrency and Petri Nets",

address = "Netherlands",

note = "Advanced Course on Petri Nets. ACPN 2003 ; Conference date: 15-09-2003 Through 26-09-2003",

}

Application of Coloured Petri Nets in System Development. / Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt.
Lectures on Concurrency and Petri Nets. ed. / J. Desel; W. Reisig; G. Rozenberg. Springer, 2004. p. 626-685 (Lecture Notes in Computer Science, Vol. 3098).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Application of Coloured Petri Nets in System Development

AU - Kristensen, Lars Michael

AU - Jørgensen, Jens Bæk

AU - Jensen, Kurt

N1 - Conference code: 4

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

U2 - 10.1007/b98282

DO - 10.1007/b98282

M3 - Article in proceedings

SN - 978-3-540-22261-3

T3 - Lecture Notes in Computer Science

SP - 626

EP - 685

BT - Lectures on Concurrency and Petri Nets

A2 - Desel, J.

A2 - Reisig, W.

A2 - Rozenberg, G.

PB - Springer

T2 - Advanced Course on Petri Nets. ACPN 2003

Y2 - 15 September 2003 through 26 September 2003

ER -

Application of Coloured Petri Nets in System Development

Abstract

Conference

Access to Document

Library access?

Fingerprint

Cite this