Verification of biological models with Timed Hybrid Petri nets
暂无分享,去创建一个
[1] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .
[2] J. Comet,et al. Modelling of the TH-dependent regulation of tadpole tail resorption , 2007 .
[3] Donald D. Brown,et al. Expression of type II iodothyronine deiodinase marks the time that a tissue responds to thyroid hormone-induced metamorphosis in Xenopus laevis. , 2004, Developmental biology.
[4] Thomas A. Henzinger,et al. Event-Clock Automata: A Determinizable Class of Timed Automata , 1999, Theor. Comput. Sci..
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Pierre-Yves Schobbens,et al. The logic of event clocks , 1999 .
[7] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[8] Enrico Tronci,et al. Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant , 2002, SAFECOMP.