Electronic Proceedings in Theoretical Computer Science (Sep 2011)

A Study of the PDGF Signaling Pathway with PRISM

  • Qixia Yuan,
  • Jun Pang,
  • Sjouke Mauw,
  • Panuwat Trairatphisan,
  • Monique Wiesinger,
  • Thomas Sauter

DOI
https://doi.org/10.4204/EPTCS.67.7
Journal volume & issue
Vol. 67, no. Proc. CompMod 2011
pp. 65 – 81

Abstract

Read online

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.