European Workshop on Application and Theory of Petri Nets (1st 1980 Strasbourg, France)