W. Abou-jaoudé, P. T. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess t-helper cell plasticity, Frontiers in Bioengineering and Biotechnology, vol.2, 2015.
DOI : 10.1101/012641

L. Bernardinello and F. De-cindio, A survey of basic net models and modular net classes, Lecture Notes in Computer Science, vol.609, pp.304-351, 1992.
DOI : 10.1007/3-540-55610-9_177

R. Chang, R. Shoemaker, and W. Wang, Systematic Search for Recipes to Generate Induced Pluripotent Stem Cells, PLoS Computational Biology, vol.23, issue.12, p.1002300, 2011.
DOI : 10.1371/journal.pcbi.1002300.s004
URL : http://doi.org/10.1371/journal.pcbi.1002300

C. Chaouiya, A. Naldi, E. Remy, and D. Thieffry, Petri net representation of multi-valued logical regulatory graphs, Natural Computing, vol.57, issue.2, pp.727-750, 2011.
DOI : 10.1007/BF02460618

T. Chatain, S. Haar, L. Jezequel, L. Paulevé, and S. Schwoon, Characterization of Reachable Attractors Using Petri Net Unfoldings, Computational Methods in Systems Biology, pp.129-142, 2014.
DOI : 10.1007/978-3-319-12982-2_10
URL : https://hal.archives-ouvertes.fr/hal-01060450

D. P. Cohen, L. Martignetti, S. Robine, E. Barillot, A. Zinovyev et al., Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration, PLOS Computational Biology, vol.7, issue.Pt 3, pp.1-29
DOI : 10.1371/journal.pcbi.1004571.s018

I. Crespo, T. M. Perumal, W. Jurkowski, and A. , Detecting cellular reprogramming determinants by differential stability analysis of gene regulatory networks, BMC Systems Biology, vol.7, issue.1, p.140, 2013.
DOI : 10.1137/0204007

A. and N. J. Buckley, Concise review: A population shift view of cellular reprogramming, STEM CELLS, vol.32, issue.6, pp.1367-1372, 2014.

T. Graf and T. Enver, Forcing cells to change lineages, Nature, vol.15, issue.7273, pp.587-594, 2009.
DOI : 10.1016/j.jtbi.2006.01.021

R. Hannam, A. Annibale, and R. Kuehn, Cell reprogramming modelled as transitions in a hierarchy of cell cycles. ArXiv e-prints, 2016.

F. Herrmann, A. Groß, D. Zhou, H. A. Kestler, and M. Kühl, A Boolean Model of the Cardiac Gene Regulatory Network Determining First and Second Heart Field Identity, PLoS ONE, vol.7, issue.10, pp.1-10, 2012.
DOI : 10.1371/journal.pone.0046798.s003

L. Mendoza, A network model for the control of the differentiation process in Th cells, Dynamical Modeling of Biological Regulatory Networks, pp.101-114, 2006.
DOI : 10.1016/j.biosystems.2005.10.004

M. K. Morris, J. Saez-rodriguez, P. K. Sorger, and D. A. Lauffenburger, Logic-Based Models for the Analysis of Cell Signaling Networks, Biochemistry, vol.49, issue.15, pp.3216-3224, 2010.
DOI : 10.1021/bi902202q

S. Ronquist, G. Patterson, M. Brown, H. Chen, A. Bloch et al., An Algorithm for Cellular Reprogramming. ArXiv e-prints, 2017.
DOI : 10.1101/162974

O. Sahin, H. Frohlich, C. Lobke, U. Korf, S. Burmester et al., Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biology, vol.3, issue.1, pp.1-20, 2009.
DOI : 10.1186/1752-0509-3-1
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2652436

R. Samaga, A. V. Kamp, and S. Klamt, Computing Combinatorial Intervention Strategies and Failure Modes in Signaling Networks, Journal of Computational Biology, vol.17, issue.1, pp.39-53, 2010.
DOI : 10.1089/cmb.2009.0121
URL : http://pubman.mpdl.mpg.de/pubman/item/escidoc:1755922/component/escidoc:1755921/439492_cmb_2009.pdf

K. Takahashi and S. Yamanaka, A decade of transcription factor-mediated reprogramming to pluripotency, Nature Reviews Molecular Cell Biology, vol.767, issue.3, pp.183-193, 2016.
DOI : 10.1016/j.stem.2013.06.019

R. Wang, A. Saadatpour, and R. Albert, Boolean modeling in systems biology: an overview of methodology and applications, Physical Biology, vol.9, issue.5, p.55001, 2012.
DOI : 10.1088/1478-3975/9/5/055001

J. G. Zañudo and R. Albert, Cell fate reprogramming by control of intracellular network dynamics, PLOS Computational Biology, vol.11, issue.04, pp.1-24