Verification of biological models with Timed Hybrid Petri Nets

AIP Conference Proceedings

Volumn 952, Issue , 2007, Pages 287-296

  Troncale, S ^a   Comet, J P ^b   Bernot, G ^b  

^a UNIVERSITY OF EVRY   (France)

^b Genopole   (France)

Author keywords

Amphibian metamorphosis; Model checking; THPN; Verification

Indexed keywords

EID: 71549163469     PISSN: 0094243X     EISSN: 15517616     Source Type: Conference Proceeding    
DOI: 10.1063/1.2816633     Document Type: Conference Paper

References (11)

1. H. Matsuno, Y. Tanaka, H. Aoshima, A. Doi, M. Matsui, and S. Miyano, In Silico Biology 3, 389-404 (2003). pages 1
2. R. David, and H. Alla, Discrete, Continuous, and Hybrid Petri Nets., vol. 3-540-22480-7, Springer, 2005. pages 1, 3, 5
3. C. Rose, TRENDS in Ecolgy and Evolution 20, 129-135 (2005). pages 2
4. Z. Wang, and D. Brown, Journal of Biological Chemistry 268, 16270-16278 (1993). pages 2
5. L. Cai, and D. Brown, Developmental Biology 266, 87-95 (2003). pages 2, 4, 9
6. H. Huang, N. Marsh-Armstrong, and D. Brown, Developmental Biology 96, 962-967 (1999). pages 2
7. S. Troncale, R. Thuret, B. C., N. Pollet, J.-P. Comet, and G. Bernot, "Modelling of the TH-dependent regulation of tadpole tail resorption.," in RIAMS, 2007. pages 3
8. D. Germain, R. Schwartzman, W. Croteau, A. Kanamori, Z. Wang, D. Brown, and V. Galton, Developmental Biology 91, 7767-7771 (1994). pages 3
9. R. Alur, L. Fix, and T. Henzinger, Theor. Computer Science 211, 253-273 (1999). pages 5, 6
10. J.-F. Raskin, and P.-Y. Schobbens, Journal of Automata, Languages and Combinatorics 4, 247-282 (1999). pages 7, 8, 9
11. S. Troncale, J.-P. Comet, and G. Bernot, Verification of Timed Hybrid Petri Nets with temporal logic, Tech. rep., IBISC (2007). pages 9