A. Doi, S. Fujita, H. Matsuno, M. Nagasaki, and S. Miyano, Constructing biological pathway models with hybrid functional Petri nets, In Silico Biology, vol.4, pp.271-291, 2004.

R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, 2005.
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611

J. Raskin and P. Schobbens, The logic of event clocks, JALC, 1999.

R. Alur, L. Fix, and T. Henzinger, Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, 1999.
DOI : 10.1016/S0304-3975(97)00173-4

J. D. Furlow and E. S. Neff, A developmental switch induced by thyroid hormone: Xenopus laevis metamorphosis, Trends in Endocrinology & Metabolism, vol.17, issue.2, pp.40-47, 2006.
DOI : 10.1016/j.tem.2006.01.007

L. Cai and D. Brown, Expression of type II iodothyronine deiodinase marks the time that a tissue responds to thyroid hormone-induced metamorphosis in Xenopus laevis, Developmental Biology, vol.266, issue.1, pp.87-95, 2003.
DOI : 10.1016/j.ydbio.2003.10.005

J. Leloup and M. Buscaglia, Triiodothyronine, hormone of amphibian metamorphosis, C.R. Acad. Sci, pp.2261-2263, 1977.

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, 1994.

S. Troncale, D. Campard, F. Tahi, J. Guespin, and J. Vannier, MODELING AND SIMULATION WITH HYBRID FUNCTIONAL PETRI NETS OF THE ROLE OF INTERLEUKIN-6 IN HUMAN EARLY HAEMATOPOIESIS, Biocomputing 2006, 2006.
DOI : 10.1142/9789812701626_0039
URL : https://hal.archives-ouvertes.fr/hal-00342175

R. Thomas and R. , Biological feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681

T. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
DOI : 10.1109/LICS.1996.561342

M. Gribaudo, A. Horvath, E. Tronci, E. Ciancamerla, and M. Minichino, Model-checking based on fluid Petri nets, Computer Safety, Reliability and Security, 2002.