A. Parosh, P. Abdulla, N. Bjesse, and . Eén, Symbolic reachability analysis based on sat-solvers, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.411-425

. Springer, , 2000.

T. Akutsu, M. Hayashida, W. Ching, and M. Ng, Control of boolean networks: Hardness results and algorithms for tree structured networks, Journal of theoretical biology, vol.244, issue.4, pp.670-679, 2007.

C. Baral, Knowledge representation, reasoning and declarative problem solving, 2003.

A. Bockmayr and A. Courtois, Using hybrid concurrent constraint programming to model dynamic biological systems, International Conference on Logic Programming, pp.85-99, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100783

L. Bortolussi and A. Policriti, Modeling biological systems in stochastic concurrent constraint programming, Constraints, vol.13, issue.1, pp.66-90, 2008.

E. M. Jerry-r-burch, K. L. Clarke, D. L. Mcmillan, L. Dill, and . Hwang, Symbolic model checking: 10 20 states and beyond. Information and computation, vol.98, pp.142-170, 1992.

X. Chai, M. Magnin, and O. Roux, A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks, 2018.

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.7146/dpb.v22i455.6773
URL : https://tidsskrift.dk/daimipb/article/download/6773/5889

E. Clarke, A. Biere, R. Raimi, and Y. Zhu, Bounded model checking using satisfiability solving. Formal methods in system design, vol.19, pp.7-34, 2001.

C. Edmund, The birth of model checking, 25 Years of Model Checking, pp.1-26, 2008.

M. Edmund, Q. Clarke, and . Wang, 2 5 years of model checking, International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pp.26-40, 2014.

C. Daws and S. Tripakis, Model checking of real-time reachability properties using abstractions. Tools and Algorithms for the Construction and Analysis of Systems, pp.313-329, 1998.
DOI : 10.1007/bfb0054180
URL : https://link.springer.com/content/pdf/10.1007%2FBFb0054180.pdf

G. Didier, E. Remy, and C. Chaouiya, Mapping multivalued onto boolean dynamics, Journal of theoretical biology, vol.270, issue.1, pp.177-184, 2011.
DOI : 10.1016/j.jtbi.2010.09.017
URL : https://hal.archives-ouvertes.fr/hal-00656334

J. Esparza, Reachability in live and safe free-choice Petri nets is NPcomplete, Theoretical Computer Science, vol.198, issue.1-2, pp.211-224, 1998.
DOI : 10.1016/s0304-3975(97)00235-1
URL : https://doi.org/10.1016/s0304-3975(97)00235-1

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.
URL : https://hal.archives-ouvertes.fr/hal-01202671

M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub et al., Theory solving made easy with clingo 5, OASIcs-OpenAccess Series in Informatics, vol.52, 2016.

K. Inoue, T. Ribeiro, and C. Sakama, Learning from interpretation transition, Machine Learning, vol.94, pp.51-79, 2014.
DOI : 10.1007/s10994-013-5353-8
URL : https://hal.archives-ouvertes.fr/hal-01710483

S. Kauffman, Homeostasis and differentiation in random genetic control networks, Nature, vol.224, pp.177-178, 1969.

J. Kol?ák, S. David?afránekdavid?david?afránek, L. Haar, and . Paulevé, Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks, Theoretical Computer Science, 2018.

H. Li and Y. Wang, On reachability and controllability of switched boolean control networks, Automatica, vol.48, issue.11, pp.2917-2922, 2012.
DOI : 10.1016/j.automatica.2012.08.029

H. Li, Y. Wang, and Z. Liu, Stability analysis for switched boolean networks under arbitrary switching signals, IEEE Transactions on Automatic Control, vol.59, issue.7, pp.1978-1982, 2014.
DOI : 10.1109/tac.2014.2298731

V. Marx, Biology: The big challenges of big data, Nature, vol.498, issue.7453, pp.255-260, 2013.

. Ernst-w-mayr, An algorithm for the general Petri net reachability problem, SIAM Journal on computing, vol.13, issue.3, pp.441-460, 1984.

J. Peter-bro-miltersen, I. Radhakrishnan, and . Wegener, On converting CNF to DNF, Theoretical computer science, vol.347, issue.1-2, pp.325-335, 2005.

L. Paulevé, Reduction of qualitative models of biological networks for transient dynamics analysis, IEEE/ACM transactions on computational biology and bioinformatics, 2017.

L. Paulevé, M. Magnin, and O. Roux, Refining dynamics of gene regulatory networks in a stochastic ?-calculus framework, Transactions on computational systems biology xiii, pp.171-191, 2011.

L. Paulevé, M. Magnin, and O. Roux, Static analysis of biological regulatory networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.22, issue.04, pp.651-685, 2012.

. James-l-peterson, Petri nets, ACM Computing Surveys (CSUR), vol.9, issue.3, pp.223-252, 1977.

B. Plateau and K. Atif, Stochastic automata network of modeling parallel systems, IEEE transactions on software engineering, vol.17, issue.10, pp.1093-1108, 1991.

A. Saadatpour, A. István, and R. Albert, Attractor analysis of asynchronous boolean models of signal transduction networks, Journal of theoretical biology, vol.266, issue.4, pp.641-656, 2010.

J. Saez-rodriguez, L. Simeoni, J. A. Lindquist, R. Hemenway, U. Bommhardt et al., A logical model provides insights into T cell receptor signaling, PLoS computational biology, vol.3, issue.8, p.163, 2007.

R. Samaga, J. Saez-rodriguez, L. G. Alexopoulos, K. Peter, S. Sorger et al., The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data, PLoS computational biology, vol.5, issue.8, p.1000438, 2009.

R. Tarjan, Depth-first search and linear graph algorithms, SIAM journal on computing, vol.1, issue.2, pp.146-160, 1972.

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networksii. immunity control in bacteriophage lambda, Bulletin of mathematical biology, vol.57, issue.2, pp.277-297, 1995.

H. Steven-wiley, Y. Stanislav, D. Shvartsman, and . Lauffenburger, Computational modeling of the EGF-receptor system: a paradigm for systems biology, Trends in cell biology, vol.13, issue.1, pp.43-50, 2003.

A. Bo?-zena-wo´znawo´zna, W. Zbrzezny, and . Penczek, Checking reachability properties for timed automata via SAT, Fundamenta Informaticae, vol.55, issue.2, pp.223-241, 2003.