C. Girault/W. Reisig (Hrsg.): Application and Theory of Petri Nets Proceedings Strasbourg 1980/Bad Honnef 1981