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