Discrete, Continuous, and Hybrid Petri Nets - David, René; Alla, Hassane; David, René (Springer Berlin Heidelberg, 2010)