S. Huang, G. Eichler, Y. Bar-yam, and D. Ingber, Cell Fates as High-Dimensional Attractor States of a Complex Gene Regulatory Network, Physical Review Letters, vol.26, issue.12, p.128701, 2005.
DOI : 10.1006/excr.2000.5044

A. González, C. Chaouiya, and D. Thieffry, Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc, Bioinformatics, vol.24, issue.16, pp.234-274, 2008.
DOI : 10.1093/bioinformatics/btn266

R. Albert and H. Othmer, The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster, Journal of Theoretical Biology, vol.223, issue.1, pp.1-18, 2003.
DOI : 10.1016/S0022-5193(03)00035-3

B. Abdallah, 12:20 ? We accept pre-submission inquiries ? Our selector tool helps you to find the most relevant journal ? We provide round the clock customer support ? Convenient online submission ? Thorough peer review ? Inclusion in PubMed and all major indexing services ? Maximum visibility for your research Submit your manuscript at www.biomedcentral, com/submit Submit your next manuscript to BioMed Central and we will help you at every step, 2017.

A. Stuart and . Kaufmann, The origins of order: self-organization and selection in evolution, p.354, 1993.

M. Folschette, L. Paulevé, M. Magnin, and O. Roux, Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, pp.66-83, 2015.
DOI : 10.1016/j.tcs.2015.08.040

URL : https://hal.archives-ouvertes.fr/hal-01202671

L. Paulevé, Goal-oriented reduction of automata networks International Conference on computational methods in systems biology, Lecture notes in bioinformatics, vol.9859, pp.252-72, 2016.

R. Thomas, Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991.
DOI : 10.1016/S0022-5193(05)80350-9

S. Zhang, M. Hayashida, T. Akutsu, W. Ching, and M. Ng, Algorithms for Finding Small Attractors in Boolean Networks, EURASIP Journal on Bioinformatics and Systems Biology, vol.9, issue.6, pp.1-13, 2007.
DOI : 10.1016/j.jtbi.2006.09.023

K. Klemm and S. Bornholdt, Stable and unstable attractors in Boolean networks, Physical Review E, vol.72, issue.5, p.55101, 2005.
DOI : 10.1103/PhysRevLett.95.048701

URL : http://arxiv.org/pdf/cond-mat/0411102

T. Akutsu, S. Kosub, A. Melkman, and T. Tamura, Finding a Periodic Attractor of a Boolean Network, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.9, issue.5, pp.1410-1431, 2012.
DOI : 10.1109/TCBB.2012.87

R. Somogyi and L. Greller, The dynamics of molecular networks: applications to therapeutic discovery, Drug Discovery Today, vol.6, issue.24, pp.1267-77, 2001.
DOI : 10.1016/S1359-6446(01)02096-7

D. Irons, Improving the efficiency of attractor cycle identification in Boolean networks. Phys D: Nonlinear Phenom, pp.7-21, 2006.

A. Garg, L. Mendoza, I. Xenarios, and G. Demicheli, Modeling of Multiple Valued Gene Regulatory Networks, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pp.1398-404, 2007.
DOI : 10.1109/IEMBS.2007.4352560

Z. Zhao, C. Liu, C. Wang, and W. Qian, BDD-based synthesis of reconfigurable single-electron transistor arrays, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp.47-54
DOI : 10.1109/ICCAD.2014.7001328

E. Dubrova and M. Teslenko, A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.8, issue.5, pp.1393-1402, 2011.
DOI : 10.1109/TCBB.2010.20

M. Mushthofa, G. Torres, Y. Van-de-peer, K. Marchal, D. Cock et al., ASP-G: an ASP-based method for finding attractors in genetic regulatory networks, Bioinformatics, vol.30, issue.21, 2041.
DOI : 10.1093/bioinformatics/btu481

C. Baral, Knowledge representation, reasoning and declarative problem solving, 2003.
DOI : 10.1017/CBO9780511543357

B. Abdallah, E. Folschette, M. Roux, O. Magnin, and M. , Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming, 2015 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp.281-85, 2015.
DOI : 10.1109/BIBM.2015.7359694

URL : https://hal.archives-ouvertes.fr/hal-01252610

L. Paulevé, C. Chancellor, M. Folschette, M. Magnin, and O. Roux, Analyzing Large Network Dynamics with Process Hitting, Log Model Biol Syst, vol.153, issue.1, pp.125-66
DOI : 10.1016/S0022-5193(05)80350-9

T. Skodawessely and K. Klemm, FINDING ATTRACTORS IN ASYNCHRONOUS BOOLEAN DYNAMICS, Advances in Complex Systems, vol.99, issue.03, pp.439-488, 2011.
DOI : 10.1103/PhysRevE.82.035102

N. Berntenis and M. Ebeling, Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space, BMC Bioinformatics, vol.14, issue.1, p.1, 2013.
DOI : 10.1371/journal.pone.0007992

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1812, 2006.
DOI : 10.1093/bioinformatics/btl172

URL : https://hal.archives-ouvertes.fr/hal-01431364

H. Klarner, A. Bockmayr, and H. Siebert, Computing maximal and minimal trap spaces of Boolean networks, Natural Computing, vol.23, issue.2, pp.535-579, 2015.
DOI : 10.1088/1478-3975/9/5/055001

P. De-espanés, A. Osses, and I. Rapaport, Fixed-points in random Boolean networks: The impact of parallelism in the Barab??si???Albert scale-free topology case, Biosystems, vol.150, pp.167-76, 2016.
DOI : 10.1016/j.biosystems.2016.10.003

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, pp.1070-080, 1988.

M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub et al., Theory solving made easy with Clingo 5. Wadern: Schloss Dagstuhl- Leibniz-Zentrum fuer Informatik, 2016.

E. Dubrova and M. Teslenko, A SAT-based algorithm for computing attractors in synchronous Boolean networks, 2009.

H. Qu, Q. Yuan, J. Pang, and A. Mizera, Improving BDD-based Attractor Detection for Synchronous Boolean Networks, Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware '15, 2015.
DOI : 10.1186/1478-811X-11-46

M. Hayashida, T. Tamura, T. Akutsu, S. Zhang, and W. Ching, Algorithms and Complexity Analyses for Control of Singleton Attractors in Boolean Networks, EURASIP Journal on Bioinformatics and Systems Biology, vol.9, issue.3, p.1, 2008.
DOI : 10.1016/j.jtbi.2005.03.015

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks?ii. Immunity control in bacteriophage lambda, Bull Math Biol, vol.57, issue.2, pp.277-97, 1995.

E. Simao, R. E. Thieffry, D. Chaouiya, and C. , Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli, Bioinformatics, vol.21, issue.Suppl 2, pp.190-196, 2005.
DOI : 10.1093/bioinformatics/bti1130

URL : https://hal.archives-ouvertes.fr/hal-00117180

M. Davidich and S. Bornholdt, Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast, PLoS ONE, vol.11, issue.12, p.1672, 2008.
DOI : 10.1371/journal.pone.0001672.t004

A. Fauré, A. Naldi, C. Chaouiya, and D. Thieffry, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-155, 2006.
DOI : 10.1093/bioinformatics/btl210

S. Klamt, J. Saez-rodriguez, J. Lindquist, L. Simeoni, and E. Gilles, A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinform, vol.7, issue.1, p.1, 2006.

A. Mbodj, G. Junion, C. Brun, E. Furlong, and D. Thieffry, Logical modelling of Drosophila signalling pathways, Molecular BioSystems, vol.14, issue.9, pp.2248-58, 2013.
DOI : 10.3390/ijms14035920

URL : https://hal.archives-ouvertes.fr/hal-01596218

W. Abou-jaoudé, P. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess t-helper cell plasticity, Front Bioeng Biotechnol, vol.2, 2014.
DOI : 10.1101/012641

C. Chaouiya, A. Naldi, and D. Thieffry, Logical Modelling of Gene Regulatory Networks with GINsim, Bact Mol Netw: Methods Protoc, vol.2012, pp.463-79
DOI : 10.1007/978-1-61779-361-5_23

L. Paulevé, Pint, a static analyzer for dynamics of automata networks, 14th International Conference on computational methods in systems biology, 2016.

A. Naldi, P. Monteiro, C. Müssel, H. Kestler, D. Thieffry et al., Cooperative development of logical modelling standards and tools with colomoto, Bioinformatics, vol.013, 2015.

T. Chatain, S. Haar, L. Jezequel, L. Paulevé, and S. Schwoon, Characterization of Reachable Attractors Using Petri Net Unfoldings, International Conference on computational methods in systems biology, pp.129-171
DOI : 10.1007/978-3-319-12982-2_10

URL : https://hal.archives-ouvertes.fr/hal-01060450

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-85, 1973.
DOI : 10.1016/0022-5193(73)90247-6

S. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-67, 1969.
DOI : 10.1016/0022-5193(69)90015-0

C. Gershenson, Updating schemes in random Boolean networks: do they really matter In: Artificial life IX Proceedings of the Ninth International Conference on the simulation and synthesis of living systems, pp.238-281, 2004.

M. Noual and S. Sené, Synchronism versus asynchronism in monotonic Boolean automata networks, Natural Computing, vol.10, pp.11047-11063
DOI : 10.1088/0022-3719/10/18/008

URL : https://hal.archives-ouvertes.fr/hal-01479438

L. Fippo-fittime, O. Roux, C. Guziolowski, and L. Paulevé, Identification of bifurcations in biological regulatory networks using answer-set programming. In: Constraint-based methods for bioinformatics Workshop, 2016.