Understanding Petri Nets : Modeling Techniques, Analysis Methods, Case Studies - Wolfgang Reisig (Springer)