Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs - Julia Padberg (Springer, 2015)