Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004

This booklet contains the proceedings of the Fifth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 8-11, 2004. 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/workshop0

Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

Transactions on Petri Nets and Other Models of Concurrency, 2013.

[2] Michael Köhler-Bußmeier. On the complexity of the reachability problem for safe, elementary hornets. Fundamenta Informaticae, 126, 2013. [3] Michael Köhler-Bußmeier and Frank Heitmann. Complexity results fo