Net Theory and applications : proceedings of the Advanced course on general net theory of processes and systems, Hamburg, October 8-19, 1979 - Petri, C. A. (rz1, 1980)