Understanding Petri Nets : modeling techniques, analysis methods, case studies - Reisig, Wolfgang, 1950- (Springer, 2013)