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