Discrete, Continuous, And Hybrid Petri Nets by Rene David