Discrete, continuous, and hybrid Petri Nets - David, Rene 1939- (Springer, 2005)