Discrete, Continuous, And Hybrid Petri Nets door Rene David