GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11339)


The computational analysis of complex biological systems can be hindered by two main factors. First, modeling the system so that it can be easily understood and analyzed by non-expert users is not always possible, especially when dealing with systems of Ordinary Differential Equations. Second, when the system is composed of hundreds or thousands of reactions and chemical species, the classic CPU-based simulators could not be appropriate to efficiently derive the behavior of the system. To overcome these limitations, in this paper we propose a novel approach that combines the descriptive power of Stochastic Symmetric Nets–a Petri Net formalism that allows modeler to describe the system in a parametric and compact manner–with LASSIE, a GPU-powered deterministic simulator that offloads onto the GPU the calculations required to execute many simulations by following both fine-grained and coarse-grained parallelization strategies. This pipeline has been applied to carry out a parameter sweep analysis of a relapsing-remitting multiple sclerosis model, aimed at understanding the role of possible malfunctions in the cross-balancing mechanisms that regulate peripheral tolerance of self-reactive T lymphocytes. From our experiments, LASSIE achieves around \(97\times \) speed-up with respect to the sequential execution of the same number of simulations.


Multiple sclerosis GPGPU computing Petri nets Parameter sweep analysis 


  1. 1.
    Baarir, S., Beccuti, M., Dutheillet, C., Franceschinis, G., Haddad, S.: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1), 21–44 (2010)CrossRefGoogle Scholar
  2. 2.
    Babar, J., Beccuti, M., Donatelli, S., Miner, A.: GreatSPN enhanced with decision diagram data structures. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 308–317. Springer, Heidelberg (2010). Scholar
  3. 3.
    Beccuti, M., et al.: From symmetric nets to differential equations exploiting model symmetries. Comput. J. 58(1), 23–39 (2015)CrossRefGoogle Scholar
  4. 4.
    Besozzi, D.: Reaction-based models of biochemical networks. In: Beckmann, A., Bienvenu, L., Jonoska, N. (eds.) CiE 2016. LNCS, vol. 9709, pp. 24–34. Springer, Cham (2016). Scholar
  5. 5.
    Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G., Colombo, S., Martegani, E.: The role of feedback control mechanisms on the establishment of oscillatory regimes in the Ras/cAMP/PKA pathway in S. cerevisiae. EURASIP J. Bioinf. Syst. Biol. 2012(1), 10 (2012)Google Scholar
  6. 6.
    Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)CrossRefGoogle Scholar
  7. 7.
    Compston, A., Coles, A.: Multiple sclerosis. The Lancet 372(9648), 1502–1517 (2008)CrossRefGoogle Scholar
  8. 8.
    Compston, G., et al.: McAlpine’s Multiple Sclerosis, 4th edn. Elsevier, Amsterdam (2013)Google Scholar
  9. 9.
    Fontenot, J.D., Rudensky, A.Y.: A well adapted regulatory contrivance: regulatory T cell development and the forkhead family transcription factor Foxp3. Nat. Immunol. 6(4), 331–337 (2005)CrossRefGoogle Scholar
  10. 10.
    Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys. 22, 403–434 (1976)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Goodin, D.S.: The causal cascade to multiple sclerosis: a model for MS pathogenesis. PLoS One 4(2), e4565 (2009)CrossRefGoogle Scholar
  12. 12.
    Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 1(7), 49–58 (1970)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Lund, J.M., Hsing, L., Pham, T.T., Rudensky, A.Y.: Coordination of early protective immunity to viral infection by regulatory T cells. Science 320(5880), 1220–1224 (2008)CrossRefGoogle Scholar
  14. 14.
    Nelson, D.L., Cox, M.M.: Lehninger Principles of Biochemistry. W. H. FreemanCo., New York (2004)Google Scholar
  15. 15.
    Nobile, M.S., Besozzi, D., Cazzaniga, P., Mauri, G.: GPU-accelerated simulations of mass-action kinetics models with cupSODA. J. Supercomput. 69(1), 17–24 (2014)CrossRefGoogle Scholar
  16. 16.
    Pennisi, M., Rajput, A.M., Toldo, L., Pappalardo, F.: Agent based modeling of Treg-Teff cross regulation in relapsing-remitting multiple sclerosis. BMC Bioinform. 14(Suppl 16), S9 (2013)CrossRefGoogle Scholar
  17. 17.
    Pohl, D.: An altered immune response to Epstein-Barr virus in multiple sclerosis. J. Neurol. Sci. 286(1–2), 62–4 (2009)CrossRefGoogle Scholar
  18. 18.
    Ponsonby, A.L., et al.: Exposure to infant siblings during early life and risk of multiple sclerosis. JAMA 293(4), 463–469 (2005)CrossRefGoogle Scholar
  19. 19.
    Sakaguchi, S., Sakaguchi, N., Asano, M., Itoh, M., Toda, M.: Immunologic self-tolerance maintained by activated T cells expressing IL-2 receptor alpha-chains (CD25). Breakdown of a single mechanism of self-tolerance causes various autoimmune diseases. J. Immunol. 155(3), 1152–1164 (1995)Google Scholar
  20. 20.
    Sospedra, M., Martin, R.: Immunology of multiple sclerosis. Annu. Rev. Immunol. 23, 683–747 (2005)CrossRefGoogle Scholar
  21. 21.
    Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1995)Google Scholar
  22. 22.
    Tangherloni, A., Nobile, M.S., Besozzi, D., Mauri, G., Cazzaniga, P.: LASSIE: simulating large-scale models of biochemical systems on GPUs. BMC Bioinform. 18(1), 246 (2017)CrossRefGoogle Scholar
  23. 23.
    Vélez De Mendizábal, N., et al.: Modeling the effector-regulatory T cell cross-regulation reveals the intrinsic character of relapses in Multiple Sclerosis. BMC Syst. Biol. 5, 114 (2011)Google Scholar
  24. 24.
    Yadav, S.K., Mindur, J.E., Ito, K., Dhib-Jalbut, S.: Advances in the immunopathogenesis of multiple sclerosis. Curr. Opin. Neurol. 28(3), 206–219 (2015)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of TorinoTorinoItaly
  2. 2.Department of Human and Social SciencesUniversity of BergamoBergamoItaly
  3. 3.SYSBIO.IT Centre of Systems BiologyMilanoItaly
  4. 4.Department of Mathematics and Computer ScienceUniversity of CataniaCataniaItaly
  5. 5.Department of Informatics, Systems and CommunicationUniversity of Milano-BicoccaMilanoItaly
  6. 6.Department of Biomedical and Biotechnological SciencesUniversity of CataniaCataniaItaly
  7. 7.Department of Drug SciencesUniversity of CataniaCataniaItaly

Personalised recommendations