Discrete,Continuous and Hybrid Petri Nets - Rene David