1
Discrete, Continuous, and Hybrid Petri Nets [E-Book] /