Bioinformatics. 2011 Mar 1;27(5):734-5. Epub 2011 Jan 5.

MIRACH: efficient model checker for quantitative biological pathway models.

Koh CH, Nagasaki M, Saito A, Li C, Wong L, Miyano S.

Source

NUS Graduate School for Integrative Sciences and Engineering, Singapore, Singapore.

Abstract

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. AVAILABILITY AND IMPLEMENTATION: MIRACH 1.0 was developed using Java and thus executable on any platform installed with JDK 6.0 (not JRE 6.0) or later. MIRACH 1.0, along with its source codes, documentation and examples are available at http://sourceforge.net/projects/mirach/ under the LGPLv3 license.

PMID:: 21208986; [PubMed - indexed for MEDLINE]

Publication Types, MeSH Terms

Publication Types

Research Support, Non-U.S. Gov't

MeSH Terms

LinkOut - more resources

Full Text Sources

Supplemental Content

Related citations

Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. [Mol Biosyst. 2011]
Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension.
Li C, Nagasaki M, Koh CH, Miyano S. Mol Biosyst. 2011 May; 7(5):1576-92. Epub 2011 Mar 3.
DA 1.0: parameter estimation of biological pathways using data assimilation approach. [Bioinformatics. 2010]
DA 1.0: parameter estimation of biological pathways using data assimilation approach.
Koh CH, Nagasaki M, Saito A, Wong L, Miyano S. Bioinformatics. 2010 Jul 15; 26(14):1794-6. Epub 2010 May 26.
Stochastic simulation GUI for biochemical networks. [Bioinformatics. 2007]
Stochastic simulation GUI for biochemical networks.
Vallabhajosyula RR, Sauro HM. Bioinformatics. 2007 Jul 15; 23(14):1859-61. Epub 2007 Jun 22.
Review Biological Network Inference and analysis using SEBINI and CABIN. [Methods Mol Biol. 2009]
Review Biological Network Inference and analysis using SEBINI and CABIN.
Taylor R, Singhal M. Methods Mol Biol. 2009; 541:551-76.
Review The markup is the model: reasoning about systems biology models in the Semantic Web era. [J Theor Biol. 2008]
Review The markup is the model: reasoning about systems biology models in the Semantic Web era.
Kell DB, Mendes P. J Theor Biol. 2008 Jun 7; 252(3):538-43. Epub 2007 Dec 3.

See reviews... See all...

Recent activity

Clear Turn Off Turn On

MIRACH: efficient model checker for quantitative biological pathway models.
MIRACH: efficient model checker for quantitative biological pathway models.
Bioinformatics. 2011 Mar 1 ;27(5):734-5. Epub 2011 Jan 5 .

PubMed
Management of lower limb deformities in children with osteogenesis imperfecta.
Management of lower limb deformities in children with osteogenesis imperfecta.
Indian Pediatr. 2011 Aug ;48(8):637-9. Epub 2011 May 30 .

PubMed
A single base-pair deletion in the WFS1 gene causes Wolfram syndrome.
A single base-pair deletion in the WFS1 gene causes Wolfram syndrome.
J Pediatr Endocrinol Metab. 2011 ;24(5-6):389-91.

PubMed
Modeling familial Danish dementia in mice supports the concept of the amyloid hy...
Modeling familial Danish dementia in mice supports the concept of the amyloid hypothesis of Alzheimer's disease.
Proc Natl Acad Sci U S A. 2010 Apr 27 ;107(17):7969-74. Epub 2010 Apr 12 .

PubMed
APP and APLP2 are essential at PNS and CNS synapses for transmission, spatial le...
APP and APLP2 are essential at PNS and CNS synapses for transmission, spatial learning and LTP.
EMBO J. 2011 Jun 1 ;30(11):2266-80. Epub 2011 Apr 26 .

PubMed

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

PubMed

Display Settings:

Send to:

MIRACH: efficient model checker for quantitative biological pathway models.

Source

Abstract

Publication Types, MeSH Terms

Publication Types

MeSH Terms

LinkOut - more resources

Full Text Sources

Supplemental Content

Related citations

Recent activity

Simple NCBI Directory

Getting Started

Resources

Popular

Featured

NCBI Information