We use PSMaude to define a formal real-time model of the aggregation and interneuronal propagation of the a-synuclein (a-syn) protein causing Parkinson's disease (PD). To the best of our knowledge, this is the first executable formal model of the propagation of a-syn aggregates through a neural network that is dynamically changing as a consequence of neuronal death. We then define different probabilistic strategies on top of our model to formalize the aggregation and propagation of a-syn in three different scenarios: (i) in a healthy person, (ii) in a person predisposed to PD, and (iii) in a predisposed person that is given some treatment with rapamycin. We use PSMaude to simulate our model in these different scenarios.
|Name||Proceedings for the 11th Conference on Computational Methods in Systems Biology, 22-24 September 2013, Klosterneuburg, Austria|
|Conference||11th Conference on Computational Methods in Systems Biology|
|Period||22/09/13 → 24/09/13|
- Parkinson's disease
- in silico