Lectures on Concurrency and Petri Nets : Advances in Petri Nets - Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg ((Lecture Notes in Computer Science))