Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Lars Michael Kristensen; Kurt Jensen

doi:10.1007/978-3-540-89287-8_2

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Original language	English
Journal	LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC)
Volume	I
Pages (from-to)	19-34
Number of pages	15
ISSN	1867-7193
DOIs	https://doi.org/10.1007/978-3-540-89287-8_2
Publication status	Published - 2008

Keywords

Design
Theory

Access to Document

10.1007/978-3-540-89287-8_2

Cite this

@article{a97418b0c12d11ddabd8000ea68e967b,

title = "Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets",

keywords = "Design, Theory",

author = "Kristensen, {Lars Michael} and Kurt Jensen",

note = "Published as: Lecture Notes in Computer Science, vol. 5100 / guest eds.: Wil M.P. van der Aalst, Jonathan Billington. Ed. in chief: Kurt Jensen. ISBN: 978-3-540-89286-1. ISSN: 0302-9743 (Print). ISSN: 1611-3349 (Online)",

year = "2008",

doi = "10.1007/978-3-540-89287-8_2",

language = "English",

volume = "I",

pages = "19--34",

journal = "LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC)",

issn = "1867-7193",

publisher = "Springer Verlag",

}

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. / Kristensen, Lars Michael; Jensen, Kurt.
In: LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), Vol. I, 2008, p. 19-34.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

TY - JOUR

T1 - Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

AU - Kristensen, Lars Michael

AU - Jensen, Kurt

N1 - Published as: Lecture Notes in Computer Science, vol. 5100 / guest eds.: Wil M.P. van der Aalst, Jonathan Billington. Ed. in chief: Kurt Jensen. ISBN: 978-3-540-89286-1. ISSN: 0302-9743 (Print). ISSN: 1611-3349 (Online)

PY - 2008

Y1 - 2008

KW - Design

KW - Theory

U2 - 10.1007/978-3-540-89287-8_2

DO - 10.1007/978-3-540-89287-8_2

M3 - Journal article

SN - 1867-7193

VL - I

SP - 19

EP - 34

JO - LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC)

JF - LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC)

ER -