Katrin Winkelmann Holger Luczak Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. 362-380 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_20 db/conf/apn/icatpn2006.html#WinkelmannL06