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
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
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
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
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
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
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
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
Petri net representation of multi-valued logical regulatory graphs, Natural Computing, vol.57, issue.2, pp.727-750, 2011. ,
DOI : 10.1007/BF02460618
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
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
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
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
Fundamentals of modelling concurrency using discrete relational structures, Acta Informatica, vol.34, issue.5, pp.367-388, 1997. ,
DOI : 10.1007/s002360050090
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
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
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
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
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
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
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
Synchronous and asynchronous updating in cellular automata, Biosystems, vol.51, issue.3, pp.123-143, 1999. ,
DOI : 10.1016/S0303-2647(99)00025-8
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
Dynamical behaviour of biological regulatory networks ? II. Immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, pp.277-297, 1995. ,
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
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
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
Processes of contextual nets and their characteristics, Fundamenta Informaticae, vol.36, issue.1, 1998. ,