Daniel Moldt Frank Wienberg Multi-Agent-Systems Based on Coloured Petri Nets. 82-101 1997 conf/apn/1997 ICATPN db/conf/apn/icatpn97.html#MoldtW97 http://dx.doi.org/10.1007/3-540-63139-9_31