APPLICATION AND THEORY OF PETRI NETS: EUROPEAN WORKSHOP,1981 - GIRAULT,CLAUDE (ED), REISIG,WOLFGANG (ED) (SV BERLIN, 1982)