1. Time Petri nets analysis with TINA;Berthomieu;In QEST, volume 6,2006
2. On the compared expressiveness of arc, place and transition time Petri nets;Boyer;Fundamenta Informaticae,2008
3. Chanthery, E., Ribot, P., and Vignolles, A. (2019). HyMU: a software for hybrid systems health monitoring under uncertainty. In DX’19.
4. Discrete, continuous, and hybrid Petri nets, volume 1;David,2010
5. From Petri nets to colored Petri nets: A tutorial introduction to nets based formalism for modeling and simulation. In 2019 Winter Simulation Conf.;Gehlot,2019