Net theory and applications : Advanced course of general net theory of processes and systems, Hamburg, 8. - 19. 10. 1979 - Petri, C. A. (Lecture notes in computer science, 1980)