René David, Hassane Alla Discrete, Continuous, and Hybrid Petri Nets - Springer eBooks 2nd ed. 2010 ISBN: 9783642106699