Applications and theory of Petri nets : 3rd European Workshop, Varenna, Italy, 27. - 30. 9. 1982 - Petri, C. A. (INFORMATIK-Fachberichte, 1983)