Applications - Reisig, Wolfgang (Hrsg.) (Lectures on Petri nets : advances in Petri nets / Wolfgang Reisig ... (ed.), 1998)