www.prismmodelchecker.org
[HMP+19] Richard Henze, Chunyan Mu, Mate Puljiz, Nishanthan Kamaleson, Jan Huwald, John Haslegrave, Pietro Speroni di Fenizio, David Parker, Christopher Good, Jonathan E. Rowe, Bashar Ibrahim and Peter Dittrich. Multi-scale Stochastic Organization-oriented Coarse-graining Exemplified on the Human Mitotic Checkpoint. Scientific Reports, 9(1), pages 3902, Nature Research. March 2019. [pdf] [bib] [Analyses biological models at various levels of coarse graining with several different tools, including PRISM.]
Downloads:  pdf pdf (2.42 MB)  bib bib
Links: [Google] [Google Scholar]
Abstract. The complexity of biological models makes methods for their analysis and understanding highly desirable. Here, we demonstrate the orchestration of various novel coarse-graining methods by applying them to the mitotic spindle assembly checkpoint. We begin with a detailed fine-grained spatial model in which individual molecules are simulated moving and reacting in a three-dimensional space. A sequence of manual and automatic coarse-grainings finally leads to the coarsest deterministic and stochastic models containing only four molecular species and four states for each kinetochore, respectively. We are able to relate each more coarse-grained level to a finer one, which allows us to relate model parameters between coarse-grainings and which provides a more precise meaning for the elements of the more abstract models. Furthermore, we discuss how organizational coarse-graining can be applied to spatial dynamics by showing spatial organizations during mitotic checkpoint inactivation. We demonstrate how these models lead to insights if the model has different “meaningful” behaviors that differ in the set of (molecular) species. We conclude that understanding, modeling and analyzing complex bio-molecular systems can greatly benefit from a set of coarse-graining methods that, ideally, can be automatically applied and that allow the different levels of abstraction to be related.

Publications