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

J. Aracena, Maximum Number of Fixed Points in Regulatory Boolean Networks, Bulletin of Mathematical Biology, vol.19, issue.5, pp.1398-1409, 2008.
DOI : 10.1007/s11538-008-9304-7

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

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

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7

I. Crespo, M. Thanneer, W. Perumal, A. Jurkowski, and S. Del, 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. Del, S. , and N. J. Buckley, Concise Review: A Population Shift View of Cellular Reprogramming, STEM CELLS, vol.109, issue.6, pp.1367-1372, 2014.
DOI : 10.1002/stem.1627

Z. Gao, X. Chen, and T. Ba¸sarba¸sar, On the stability of conjunctive boolean networks, 2016.

T. Graf and T. Enver, Forcing cells to change lineages, Nature, vol.15, issue.7273, pp.462587-594, 2009.
DOI : 10.1038/nature08533

J. Jo, S. Hwang, H. Kim, S. Hong, J. E. Lee et al., An integrated systems biology approach identifies positive cofactor 4 as a factor that increases reprogramming efficiency, Nucleic Acids Research, vol.44, issue.3, pp.1203-1215, 2016.
DOI : 10.1093/nar/gkv1468

L. Paulevé, Goal-Oriented Reduction of Automata Networks, CMSB 2016 - 14th conference on Computational Methods for Systems Biology, 2016.
DOI : 10.1007/978-3-319-45177-0_16

J. Owen, J. Rackham, H. Firas, . Fang, E. Matt et al., A predictive computational framework for direct reprogramming between human cell types, Nature Genetics, issue.3, pp.48331-335, 2016.

A. Richard, Positive circuits and maximal number of fixed points in discrete dynamical systems, Discrete Applied Mathematics, vol.157, issue.15, pp.3281-3288, 2009.
DOI : 10.1016/j.dam.2009.06.017

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011

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. Thomas, Boolean formalization of genetic control circuits Graphic requirements for multistability and attractive cycles in a boolean dynamical framework, Journal of Theoretical Biology Advances in Applied Mathematics, vol.42, issue.173, pp.563-585, 1973.