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