1. A Study of the PDGF Signaling Pathway with PRISM
- Author
-
Yuan, Qixia, Pang, Jun, Mauw, Sjouke, Trairatphisan, Panuwat, Wiesinger, Monique, and Sauter, Thomas
- Subjects
Computer Science - Computational Engineering, Finance, and Science ,Computer Science - Logic in Computer Science ,Quantitative Biology - Quantitative Methods - Abstract
In this paper, we apply the probabilistic 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. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway., Comment: In Proceedings CompMod 2011, arXiv:1109.1044
- Published
- 2011
- Full Text
- View/download PDF