State space methods for coloured Petri nets

Søren Christensen, Kurt Jensen, Mailund, Lars Michael Kristensen

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

Original language	English
Title of host publication	Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems
Number of pages	2
Publication date	2001
Pages	14-15
Publication status	Published - 2001
Event	2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems - Duration: 17 Dec 2010 → …

Conference	2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems
Period	17/12/2010 → …

Cite this

@inproceedings{31f4f0e0a49511dbbee902004c4f4f50,

title = "State space methods for coloured Petri nets",

author = "S{\o}ren Christensen and Kurt Jensen and Mailund and Kristensen, {Lars Michael}",

year = "2001",

language = "English",

pages = "14--15",

booktitle = "Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems",

note = "2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems ; Conference date: 17-12-2010",

}

TY - GEN

T1 - State space methods for coloured Petri nets

AU - Christensen, Søren

AU - Jensen, Kurt

AU - Mailund, null

AU - Kristensen, Lars Michael

PY - 2001

Y1 - 2001

M3 - Article in proceedings

SP - 14

EP - 15

BT - Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems

T2 - 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems

Y2 - 17 December 2010

ER -