Formal Specification and State Space Analysis of an Operational Planning Process

L.M. Kristensen; B. Mitchell; L. Zhang; K. Jensen

Formal Specification and State Space Analysis of an Operational Planning Process

L.M. Kristensen, B. Mitchell, L. Zhang, K. Jensen (Editor)

Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

Original language	English
Title of host publication	Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools
Number of pages	19
Publisher	Department of Computer Science, University of Aarhus
Publication date	2004
Edition	PB-570 of Daimi Reports
Pages	1-18
Publication status	Published - 2004

Cite this

@inbook{bc3ab1008d2d11dcbee902004c4f4f50,

title = "Formal Specification and State Space Analysis of an Operational Planning Process",

author = "L.M. Kristensen and B. Mitchell and L. Zhang and K. Jensen",

year = "2004",

language = "English",

pages = "1--18",

booktitle = "Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools",

publisher = "Department of Computer Science, University of Aarhus",

edition = "PB-570 of Daimi Reports",

}

Formal Specification and State Space Analysis of an Operational Planning Process. / Kristensen, L.M.; Mitchell, B.; Zhang, L. et al.
Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools. PB-570 of Daimi Reports. ed. Department of Computer Science, University of Aarhus, 2004. p. 1-18.

Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

TY - CHAP

T1 - Formal Specification and State Space Analysis of an Operational Planning Process

AU - Kristensen, L.M.

AU - Mitchell, B.

AU - Zhang, L.

A2 - Jensen, K.

PY - 2004

Y1 - 2004

M3 - Book chapter

SP - 1

EP - 18

BT - Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools

PB - Department of Computer Science, University of Aarhus

ER -