Validation of biological models with temporal logic and timed hybrid Petri Nets

Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

Volumn , Issue , 2007, Pages 4603-4608

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

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PETRI NETS; REAL TIME SYSTEMS; TEMPORAL LOGIC;

BIOLOGICAL MODELS; EVENT CLOCK LOGIC; TIMED HYBRID PETRI NETS (THPN);

BIOLOGICAL SYSTEMS;

ARTICLE; BIOLOGICAL MODEL;

MODELS, BIOLOGICAL;

EID: 57649244030     PISSN: 05891019     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IEMBS.2007.4353365     Document Type: Conference Paper

References (16)

1. A. Doi, S. Fujita, H. Matsuno, M. Nagasaki, and S. Miyano. Constructing biological pathway models with hybrid functional Petri nets. In Silico Biology, 4:271-291, 2004.
2. R. David and H. Alla. Discrete, Continuous, and Hybrid Petri Nets. Springer, 2005.
3. J-F. Raskin and P-Y. Schobbens. The logic of event clocks. JALC, 1999.
4. H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano. Hybrid Petri net representation of gene regulatory network. In Pacific Symposium of Biocomputing, volume 5, pages 338-349, 2000.
5. R. Alur, L. Fix, and Henzinger T. Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science, 1999.
6. J.D. Furlow and E.S. Neff. A developmental switch induced by thyroid hormone. TRENDS in Endocrinology and Metabolism, 17:40-47, 2006.
7. S. Troncale, J.-P. Comet, and G. Bernot. Verification of Timed Hybrid Petri Nets with temporal logic. Technical report, IBISC, 2007.
8. J. Leloup and M. Buscaglia. Triiodothyronine, hormone of amphibian metamorphosis. C.R. Acad. Sci., pages 2261-2263, 1977.
9. C. Rose. Integrating ecology and developmental biology to explain the timing of frog metamorphosis. TRENDS in Ecolgy and Evolution, 20:129-135, 2005.
10. L. Cai and D. Brown. Expression of type 2 iodothyronine deiodinase marks the time that a tissue responds to thyroid hormone-induced metamorphosis in xenopus laevis. Developmental Biology, 266:87-95, 2003.
11. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 1994.
12. S. Troncale, D. Campard, F. Tahi, J. Guespin, and JP. Vannier. Modeling and simulation with hybrid functional petri nets of the role of interleukin-6 in haematopoiesis. In PSB, 2006.
13. R. Thomas and R. d'Ari. Biological feedback. CRC Press, 1990.
14. G. Bernot, J.-P. Comet, A. Richard, and J. Guespin. Application of formal methods to biological regulatory networks: Extending thomas asynchronous logical apporoach with temporal logic. J.T.B, 2004.
15. T. Henzinger. The theory of hybrid automata. In IIIE Commputer Society Press, 1996.
16. M. Gribaudo, A. Horvath, E. Tronci, E. Ciancamerla, and M. Minichino. Model-checking based on fluid Petri nets. In Computer Safety, Reliability and Security, 2002.