A Study of the PDGF Signaling Pathway with PRISM

Qixia Yuan
(University of Luxembourg)
Jun Pang
(University of Luxembourg)
Sjouke Mauw
(University of Luxembourg)
Panuwat Trairatphisan
(University of Luxembourg)
Monique Wiesinger
(University of Luxembourg)
Thomas Sauter
(University of Luxembourg)

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.

In Ion Petre and Erik de Vink: Proceedings Third International Workshop on Computational Models for Cell Processes (CompMod 2011), Aachen, Germany, September 10, 2011, Electronic Proceedings in Theoretical Computer Science 67, pp. 65–81.
Published: 8th September 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.67.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org