Enzymatic competition: Modeling and verification with timed hybrid petri nets

Pattern Recognition

Volumn 42, Issue 4, 2009, Pages 562-566

  Troncale, Sylvie ^a   Comet, Jean Paul ^a   Bernot, Gilles ^a  

^a UNIVERSITY OF EVRY   (France)

Author keywords

Metamorphosis; Model checking; Timed hybrid petri nets; Verification

Indexed keywords

BIOLOGICAL SYSTEMS; COMPETITION; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; TRANSLATION (LANGUAGES);

AMPHIBIAN METAMORPHOSES; AND VERIFICATIONS; DYNAMICAL PROPERTIES; FORMAL VERIFICATIONS; HYBRID PETRI NETS; METAMORPHOSIS; TIME AUTOMATONS; TIMED HYBRID PETRI NETS;

MODEL CHECKING;

EID: 57149085035     PISSN: 00313203     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.patcog.2008.09.019     Document Type: Article

References (13)

1. Matsuno H., Tanaka Y., Aoshima H., Doi A., Matsui M., and Miyano S. Biopathways representation and simulation on hybrid functional petri nets. In Silico Biol. 3 (2003) 389-404
2. Thomas R., and d'Ari R. Biological Feedback (1990), CRC Press, Boca Raton, FL
3. R. David, H. Alla, Discrete, Continuous, and Hybrid Petri Nets, vol. 3-540-22480-7, Springer, Berlin, 2005.
4. Furlow J.D., and Neff E.S. A developmental switch induced by thyroid hormone: Xenopus laevis metamorphosis. Trends Endocrinol. Metab. 17 (2006) 40-47
5. Wang Z., and Brown D. Thyroid hormone-induced gene expression program for amphibian tail resorption. J. Biol. Chem. 268 (1993) 16270-16278
6. Wong J., and Shi Y.-B. Coordinated regulation of and transcriptional activation by xenopus thyroid hormone and retinoid X receptors. J. Biol. Chem. 270 (1995) 18479-18483
7. Cai L., and Brown D. Expression of type 2 iodothyronine deiodinase marks the time that a tissue responds to thyroid hormone-induced metamorphosis in Xenopus laevis. Dev. Biol. 266 (2003) 87-95
8. Huang H., Marsh-Armstrong N., and Brown D. Metamorphosis is inhibited in transgenic Xenopus laevis tadpoles that overexpress type 3 deiodinase. Dev. Biol. 96 (1999) 962-967
9. S. Troncale, R. Thuret, C. Ben, N. Pollet, J.-P. Comet, G. Bernot, Modelling of the th-dependent regulation of tadpole tail resorption, in: RIAMS, 2007.
10. Germain D., Schwartzman R., Croteau W., Kanamori A., Wang Z., Brown D., and Galton V. A thyroid hormone-regulated gene in Xenopus laevis encodes a type III iodothyronine 5-deiodinase. Dev. Biology 91 (1994) 7767-7771
11. Alur R., Fix L., and Henzinger T. Event-clock automata: a determinizable class of timed automata. Theor. Comput. Sci. 211 (1999) 253-273
12. Raskin J.-F., and Schobbens P.-Y. The logic of event clocks. J. Automata Lang. Combinatorics 4 (1999) 247-282
13. S. Troncale, J.-P. Comet, G. Bernot, Verification of timed hybrid petri nets with temporal logic, Technical Report, IBISC, 2007.