Discrete, Continuous, and Hybrid Petri Nets - David, Ren.̌ (Springer Berlin Heidelberg, 2010)