Michael K. Molloy Petri Net Modelling - The Past, the Present, and the Future. 2-9 1989 conf/pnpm/1989 PNPM db/conf/pnpm/pnpm1989.html#Molloy89