Visual model checking approach of high level Petri-net and its application to dynamic biological pathway model
Project/Area Number |
20700265
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Single-year Grants |
Research Field |
Bioinformatics/Life informatics
|
Research Institution | The University of Tokyo |
Principal Investigator |
NAGASAKI Masao The University of Tokyo, 医科学研究所, 助教 (90396862)
|
Project Period (FY) |
2008 – 2009
|
Project Status |
Completed (Fiscal Year 2009)
|
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)
|
Keywords | ペトリネット / オントロジー / 視覚的デバッグ / モデル検査 / OWL / HFPNe / 細胞分化 / ASTD |
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.
|
Report
(3 results)
Research Products
(13 results)
-
-
-
[Journal Article] A computational platform for systems biology2009
Author(s)
Nagasaki, M., Saito A., Jeong E, Li C., Kojima, K, Ikeda, E., Miyano, S
-
Journal Title
Cell Illustrator 4. 0 10
Pages: 2-2
Related Report
Peer Reviewed
-
-
[Journal Article] Cell Illustrator 4.0 : A computational platform for systems biology. 10:00022009
Author(s)
Nagasaki, M., Saito A., Jeong E, Li C., Kojima, K, Ikeda, E., Miyano, S.
-
Journal Title
In Silico Biology 10:0002(online journal)
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-