194 H. Mandon et al.
References
- Abou-Jaoud ́e, W., Monteiro, P.T., Naldi, A., Grandclaudon, M., Soumelis, V.,
Chaouiya, C., Thieffry, D.: Model checking to assess t-helper cell plasticity. Fron-
tiers Bioeng. Biotechnol. 2 (2015) - Bernardinello, L., De Cindio, F.: A survey of basic net models and modular net
classes. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp.
304–351. Springer, Heidelberg (1992). doi:10.1007/3-540-55610-9 177 - Chang, R., Shoemaker, R., Wang, W.: Systematic search for recipes to generate
induced pluripotent stem cells. PLoS Comput. Biol. 7 (12), e1002300 (2011) - Chaouiya, C., Naldi, A., Remy, E., Thieffry, D.: Petri net representation of multi-
valued logical regulatory graphs. Nat. Comput. 10 (2), 727–750 (2011) - Chatain, T., Haar, S., Jezequel, L., Paulev ́e, L., Schwoon, S.: Characterization
of reachable attractors using petri net unfoldings. In: Mendes, P., Dada, J.O.,
Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 129–142. Springer, Cham
(2014). doi:10.1007/978-3-319-12982-2 10 - Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.:
Mathematical modelling of molecular pathways enabling tumour cell invasion and
migration. PLOS Comput. Biol. 11 (11), 1–29 (2015) - Crespo, I., Perumal, T.M., Jurkowski, W., del Sol, A.: Detecting cellular repro-
gramming determinants by differential stability analysis of gene regulatory net-
works. BMC Syst. Biol. 7 (1), 140 (2013) - del Sol, A., Buckley, N.J.: Concise review: a population shift view of cellular repro-
gramming. Stem Cells 32 (6), 1367–1372 (2014) - Graf, T., Enver, T.: Forcing cells to change lineages. Nature 462 (7273), 587–594
(2009) - Hannam, R., Annibale, A., Kuehn, R.: Cell reprogramming modelled as transitions
in a hierarchy of cell cycles. ArXiv e-prints, December 2016 - Herrmann, F., Groß, A., Zhou, D., Kestler, H.A., K ̈uhl, M.: A boolean model of
the cardiac gene regulatory network determining first, second heart field identity.
PLOS ONE 7 (10), 1–10 (2012) - Mendoza, L.: A network model for the control of the differentiation process in th
cells. Biosystems 84 (2), 101–114 (2006). Dynamical Modeling of Biological Regu-
latory Networks - Morris, M.K., Saez-Rodriguez, J., Sorger, P.K., Lauffenburger, D.A.: Logic-based
models for the analysis of cell signaling networks. Biochemistry 49 (15), 3216–3224
(2010). PMID: 20225868 - Ronquist, S., Patterson, G., Brown, M., Chen, H., Bloch, A., Muir, L., Brockett, R.,
Rajapakse, I.: An Algorithm for Cellular Reprogramming. ArXiv e-prints, March
2017 - Sahin, O., Frohlich, H., Lobke, C., Korf, U., Burmester, S., Majety, M., Mattern, J.,
Schupp, I., Chaouiya, C., Thieffry, D., Poustka, A., Wiemann, S., Beissbarth, T.,
Arlt, D.: Modeling ERBB receptor-regulated G1/S transition to find novel targets
for de novo trastuzumab resistance. BMC Syst. Biol. 3 (1), 1–20 (2009) - Samaga, R., Von Kamp, A., Klamt, S.: Computing combinatorial intervention
strategies and failure modes in signaling networks. J. Comput. Biol. 17 (1), 39–
53 (2010) - Takahashi, K., Yamanaka, S.: A decade of transcription factor-mediated repro-
gramming to pluripotency. Nat. Rev. Mol. Cell Biol. 17 (3), 183–193 (2016)