Applications and theory of Petri nets selected papers from the 3. European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, Sept. 27 - 30, 1982 (Springer, 1983)