Discrete, continuous, and hybrid Petri Nets - David, René, (Springer,)