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.1002/bbpc.19940980916

J. Aracena, J. Demongeot, and E. Goles, Positive and Negative Circuits in Discrete Neural Networks, IEEE Transactions on Neural Networks, vol.15, issue.1, pp.77-83, 2004.
DOI : 10.1109/TNN.2003.821555

J. Aracena, E. Goles, A. Moreira, and L. Salinas, On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009.
DOI : 10.1016/j.biosystems.2009.03.006

J. Aracena, A. Richard, and L. Salinas, Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks, SIAM Journal on Discrete Mathematics, vol.31, issue.3, pp.1702-1725, 2017.
DOI : 10.1137/16M1060868

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

J. Baetens, P. V. Der-weeën, and B. D. Baets, Effect of asynchronous updating on the stability of cellular automata, Chaos, Solitons & Fractals, vol.45, issue.4, pp.383-394, 2012.
DOI : 10.1016/j.chaos.2012.01.002

P. Baldan, A. Corradini, and U. Montanari, Contextual Petri nets, asymmetric event structures, and processes. Information and Computation, pp.1-49, 2001.
DOI : 10.1006/inco.2001.3060

URL : https://doi.org/10.1006/inco.2001.3060

G. Bernot, F. Cassez, J. Comet, F. Delaplace, C. Müller et al., Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007.
DOI : 10.1016/j.entcs.2004.01.038

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

N. Busi and G. M. Pinna, Non sequential semantics for contextual P/T nets, Application and Theory of Petri Nets, pp.113-132, 1996.
DOI : 10.1007/3-540-61363-3_7

URL : http://www.cs.unibo.it/~busi/www/nonseqpetri.ps.gz

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

T. Chatain, S. Haar, M. Koutny, and S. Schwoon, Non-atomic Transition Firing in Contextual Nets, Applications and Theory of Petri Nets, pp.117-136, 2015.
DOI : 10.1007/978-3-319-19488-2_6

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

A. Garg, A. Di-cara, I. Xenarios, L. Mendoza, and G. Micheli, Synchronous versus asynchronous modeling of gene regulatory networks, Bioinformatics, vol.57, issue.2, pp.241917-1925, 2008.
DOI : 10.1007/BF02460618

URL : https://academic.oup.com/bioinformatics/article-pdf/24/17/1917/729792/btn336.pdf

R. Janicki and M. Koutny, Semantics of Inhibitor Nets, Information and Computation, vol.123, issue.1, pp.1-16, 1995.
DOI : 10.1006/inco.1995.1153

URL : https://doi.org/10.1006/inco.1995.1153

R. Janicki and M. Koutny, Fundamentals of modelling concurrency using discrete relational structures, Acta Informatica, vol.34, issue.5, pp.367-388, 1997.
DOI : 10.1007/s002360050090

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

Z. Mai and H. Liu, Boolean network-based analysis of the apoptosis network: Irreversible apoptosis and stable surviving, Journal of Theoretical Biology, vol.259, issue.4, pp.760-769, 2009.
DOI : 10.1016/j.jtbi.2009.04.024

P. Martínez-sosa and L. Mendoza, The regulatory network that controls the differentiation of T lymphocytes, Biosystems, vol.113, issue.2, pp.96-103, 2013.
DOI : 10.1016/j.biosystems.2013.05.007

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

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

E. Palma, L. Salinas, and J. Aracena, Enumeration and extension of non-equivalent deterministic update schedules in Boolean networks, Bioinformatics, vol.32, issue.5, pp.722-729, 2016.
DOI : 10.1016/0022-5193(73)90247-6

E. Remy, P. Ruet, and D. Thieffry, Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Advances in Applied Mathematics, vol.41, issue.3, pp.335-350, 2008.
DOI : 10.1016/j.aam.2007.11.003

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

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

URL : https://doi.org/10.1016/j.aam.2009.11.011

B. Schönfisch and A. De-roos, Synchronous and asynchronous updating in cellular automata, Biosystems, vol.51, issue.3, pp.123-143, 1999.
DOI : 10.1016/S0303-2647(99)00025-8

L. J. Steggles, R. Banks, O. Shaw, and A. Wipat, Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach, Bioinformatics, vol.403, issue.6770, pp.336-343, 2007.
DOI : 10.1038/35001009

URL : https://academic.oup.com/bioinformatics/article-pdf/23/3/336/644406/btl596.pdf

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

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

P. Traynard, A. Fauré, F. Fages, and D. Thieffry, Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation, Bioinformatics, vol.10, issue.17, pp.32-772, 2016.
DOI : 10.4161/cc.10.18.17350

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

W. Vogler, Partial order semantics and read arcs, Theoretical Computer Science, vol.286, issue.1, pp.33-63, 2002.
DOI : 10.1016/S0304-3975(01)00234-1

URL : https://doi.org/10.1016/s0304-3975(01)00234-1

J. Winkowski, Processes of contextual nets and their characteristics, Fundamenta Informaticae, vol.36, issue.1, 1998.