Discrete, Continuous, and Hybrid Petri Nets - David, René (Springer Berlin Heidelberg, 2005)