Olaf Kummer Tight Integration of Java and Petri Nets. 1999 conf/awpn/1999 AWPN http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-26/kummer.pdf db/conf/awpn/awpn1999.html#Kummer99