2011年3月
MIRACH: efficient model checker for quantitative biological pathway models
BIOINFORMATICS
- ,
- ,
- ,
- ,
- ,
- 巻
- 27
- 号
- 5
- 開始ページ
- 734
- 終了ページ
- 735
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1093/bioinformatics/btq727
- 出版者・発行元
- OXFORD UNIV PRESS
Model checking is playing an increasingly important role in systems biology as larger and more complex biological pathways are being modeled. In this article we report the release of an efficient model checker MIRACH 1.0, which supports any model written in popular formats such as CSML and SBML. MIRACH is integrated with a Petri-net-based simulation engine, enabling efficient online (on-the-fly) checking. In our experiment, by using Levchenko et al. model, we reveal that timesaving gains by using MIRACH easily surpass 400% compared with its offline-based counterpart.
- リンク情報
- ID情報
-
- DOI : 10.1093/bioinformatics/btq727
- ISSN : 1367-4803
- PubMed ID : 21208986
- Web of Science ID : WOS:000287758400026