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