@article{Jensen_2009, title={Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009}, volume={38}, url={https://tidsskrift.dk/daimipb/article/view/7187}, DOI={10.7146/dpb.v38i590.7187}, abstractNote={This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. 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.cs.au.dk/CPnets/events/workshop09}, number={590}, journal={DAIMI Report Series}, author={Jensen, Kurt}, year={2009}, month={Oct.} }