Lectures on Petri Nets II : Applications : advances in Petri Nets - Reisig, Wolfgang, 1950-; Rozenberg, Grzegorz; Advanced Course on Petri Nets (Lecture Notes in Computer Science, 1998)