Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 : 2007 : Århus) Bezüge im Wissensnetz Veranstaltungsort (1) GND Aarhus