René David

Discrete, continuous, and hybrid Petri Nets