Discrete, continuous, and hybrid petri nets - David, Rene (Springer-Verlag, 2005)