C. A. Petri Über einige Anwendungen der Netztheorie. 81-87 1979 conf/gi/1979 GI Jahrestagung db/conf/gi/gi79.html#Petri79