Being able to model and simulate biological systems is of increasing importance to aid our understanding of complex biological processes. In this HOT article Masao Nagasaki and colleagues have described an effective new computational framework for doing just that-without the tedious manual tuning of parameters, by using a model
checking technique incorporated with quantitative modelling and simulation architectures.
The authors’ believe this is the first example of a model checking approach with parameter estimation techniques at a high-level Petri net class for biological pathways. They create a systematic framework which combines the two methods and adopt a uniform distribution for parameter estimation, which allowed them to use other more accurate estimation methods as well.
The article is free to access for four weeks – why not download it today!
Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension
Chen Li, Masao Nagasaki, Chuan Hock Koh and Satoru Miyano
Mol. BioSyst., 2011, Advance Article