@book{24518,
	author = { Rene David},
	title = {Discrete,Continuous and Hybrid Petri Nets }
}