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

P. Baldan, A. Bruni, A. Corradini, B. König, C. Rodríguez et al., Efficient unfolding of contextual Petri nets, Theoretical Computer Science, vol.449, pp.2-22, 2012.
DOI : 10.1016/j.tcs.2012.04.046
URL : https://hal.archives-ouvertes.fr/hal-00776752

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.361, 2013.
DOI : 10.1371/journal.pone.0007992

G. Casu and G. M. Pinna, Flow unfolding of safe nets, Petri Nets, 2014.

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/s11047-010-9178-0

N. Eén and N. Sörensson, An extensible sat-solver, Theory and applications of satisfiability testing, pp.502-518, 2004.

J. Esparza and K. Heljanko, Unfoldings ? A Partial-Order Approach to Model Checking, 2008.

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm. FMSD, pp.285-310, 2002.

J. Esparza and C. Schröter, Unfolding based algorithms for the reachability problem, Fund. Inf, vol.47, issue.3-4, pp.231-245, 2001.

A. Faure, 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.22124-131, 2006.
DOI : 10.1093/bioinformatics/btl210
URL : https://hal.archives-ouvertes.fr/hal-00310984

A. Garg, A. Di-cara, I. Xenarios, L. Mendoza, and G. Micheli, Synchronous versus asynchronous modeling of gene regulatory networks, Bioinformatics, vol.24, issue.17, pp.241917-1925, 2008.
DOI : 10.1093/bioinformatics/btn336

F. Hinkelmann, M. Brandon, B. Guang, R. Mcneill, G. Blekherman et al., ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra, BMC Bioinformatics, vol.12, issue.1, p.295, 2011.
DOI : 10.1016/j.aam.2006.08.004

V. Khomenko, M. Koutny, and W. Vogler, Canonical prefixes of Petri net unfoldings, Acta Informatica, vol.40, issue.2, pp.95-118, 2003.
DOI : 10.1007/s00236-003-0122-y

V. Khomenko and A. Mokhov, An Algorithm for Direct Construction of Complete Merged Processes, Petri Nets, pp.89-108, 2011.
DOI : 10.1007/3-540-45657-0_2

K. L. Mcmillan, Using unfoldings to avoid the state explosion problem inthe verification of asynchronous circuits, CAV, pp.164-177, 1992.

T. Melliti, M. Noual, D. Regnault, S. Sené, and J. Sobieraj, Full characterization of attractors for two intersected asynchronous boolean automata cycles, 1310.

T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

A. Naldi, D. Berenguier, A. Faur, F. Lopez, D. Thieffry et al., Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, pp.134-139, 2009.
DOI : 10.1016/j.biosystems.2009.04.008

A. Naldi, D. Thieffry, and C. Chaouiya, Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks, CMSB, pp.233-247, 2007.
DOI : 10.1007/978-3-540-75140-3_16

L. Paulevé, M. Magnin, and O. Roux, Refining Dynamics of Gene Regulatory Networks in a Stochastic ??-Calculus Framework, TCSB, vol.81, issue.25, pp.171-191, 2011.
DOI : 10.1021/j100540a008

L. Paulevé and A. Richard, Topological fixed points in Boolean networks, Comptes Rendus Mathematique, vol.348, issue.15-16, pp.15-16825, 2010.
DOI : 10.1016/j.crma.2010.07.014

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

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, 2009.
DOI : 10.1186/1752-0509-3-1

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

N. Weinstein and L. Mendoza, A network model for the specification of vulval precursor cells and cell fusion control in Caenorhabditis elegans, Frontiers in Genetics, vol.4, issue.112, p.2013
DOI : 10.3389/fgene.2013.00112

J. G. Zañudo and R. Albert, An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.23, issue.2, p.25111, 2013.
DOI : 10.1063/1.4809777

D. Zheng, G. Yang, X. Li, Z. Wang, F. Liu et al., An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks, PLoS ONE, vol.7, issue.4, p.60593, 2013.
DOI : 10.1371/journal.pone.0060593.t002