| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2009: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Fiscal Year 2008: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Research Abstract |
The pathway modeling and simulation architecture named (Hybrid Functional Petri net: HFPNe) has been developed and implemented. In this research, a model checking concept is introduced to the HFPNe. A simulation model of C. elegans cell fate determination is created using HFPNe and the reasonable rule of the cell fate determination is selected by using the model checking approach. Furthermore, an algorithm to extract the active sub-pathways from a given HFPNe model and the trajectory of these sub-pathways is developed. The applicability is demonstrated using the circadian clock simulation model with HFPNe.
|
