@article{Jensen_2008, title={Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008}, volume={37}, url={https://tidsskrift.dk/daimipb/article/view/7188}, DOI={10.7146/dpb.v37i588.7188}, abstractNote={This booklet contains the proceedings of the Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 20-22, 2008. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop08}, number={588}, journal={DAIMI Report Series}, author={Jensen, Kurt}, year={2008}, month={Oct.} }