Lectures on Petri Nets I : Basic models : Advances in Petri Nets - Reisig, Wolfgang, 1950-; Rozenberg, Grzegorz (Lecture Notes in Computer Science, 1998)