Abstract
In this paper, we apply the probabilistic symbolic model checker PRISM to the analysis of a biological system - the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. Moreover, we compare the results from verification and ODE simulation on the PDGF pathway and demonstrate by examples the influence of model structure, parameter values and pathway length on the two analysis methods. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Yuan, Q., Trairatphisan, P., Pang, J., Mauw, S., Wiesinger, M., & Sauter, T. (2012). Probabilistic model checking of the PDGF signaling pathway. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7625 LNBI, pp. 151–180). https://doi.org/10.1007/978-3-642-35524-0_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
