Discrete, continuous, and hybrid Petri Nets - David, René 1939-; Alla, Hassane (Springer, 2010)