Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets

Lars Michael Kristensen, Kurt Jensen

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

Original language	English
Title of host publication	Proceedings 2nd workshop on Teaching Concurrency
Number of pages	10
Publisher	University of Podlasie, Institute of Computer Science
Publication date	2007
Pages	67-77
Publication status	Published - 2007
Event	Workshop on Teaching Concurrency - Siedlce, Poland Duration: 25 Jun 2007 → 25 Jun 2007

Conference	Workshop on Teaching Concurrency
Country/Territory	Poland
City	Siedlce
Period	25/06/2007 → 25/06/2007

Cite this

@inproceedings{11e23560256e11dcbee902004c4f4f50,

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

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

year = "2007",

language = "English",

pages = "67--77",

booktitle = "Proceedings 2nd workshop on Teaching Concurrency",

publisher = "University of Podlasie, Institute of Computer Science",

note = "Workshop on Teaching Concurrency ; Conference date: 25-06-2007 Through 25-06-2007",

}

TY - GEN

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

AU - Kristensen, Lars Michael

AU - Jensen, Kurt

PY - 2007

Y1 - 2007

M3 - Article in proceedings

SP - 67

EP - 77

BT - Proceedings 2nd workshop on Teaching Concurrency

PB - University of Podlasie, Institute of Computer Science

T2 - Workshop on Teaching Concurrency

Y2 - 25 June 2007 through 25 June 2007

ER -