A. T. Bibliography, . Hayashida-m, and . Tamura-t, Algorithms for inference, analysis and control of Boolean networks, Algebraic Biology, pp.1-15, 2008.

A. J. Aracena, C. E. , and M. A. Salinas-l, 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

. L. Bernardinello, C. F. De, . G. Rozenberg, and . Ed, A survey of basic net models and modular net classes, Lecture Notes in Computer Science, vol.609, pp.304-351, 1992.
DOI : 10.1007/3-540-55610-9_177

C. L. Fages-f and . Soliman-s, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.

A. C. Chancellor, C. F. Magnin-m, and R. O. , Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition, Computational Methods in Systems Biology, pp.50-63, 2013.
DOI : 10.1007/978-3-642-40708-6_5

C. F. and A. A. Cueto-e, On the use of proper generalized decompositions for solving the multidimensional chemical master equation, European Journal of Computational Mechanics/Revue Européenne de Mécanique Numérique, vol.19, pp.1-3, 2010.

. Y. Drabsch and . P. Ten, TGF-?? signalling and its role in cancer progression and metastasis, Cancer and Metastasis Reviews, vol.34, issue.3, pp.3-4, 2012.
DOI : 10.1007/s10555-012-9375-7

F. M. Paulevé-l, . Inoue-k, R. O. Magnin-m, . D. Gilbert, and . Heiner-m, Concretizing the Process Hitting into Biological Regulatory Networks, Computational Methods in Systems Biology Lecture Notes in Computer Science, vol.12, pp.166-186, 2012.

F. M. Paulevé-l and R. O. Magnin-m, Under-approximation of reachability in multivalued asynchronous networks, 4th International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), pp.33-51, 2013.

H. A. Thierry-mieg and . Kordon-f, Building efficient model checkers using hierarchical set decision diagrams and automatic saturation, Fundamenta Informaticae, vol.94, issue.3, pp.413-437, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01121192

I. T. Galitski-t and . Hood-l, A new approach to decoding life: systems biology, Annual Reviews 4139 El Camino Way, pp.343-372, 2001.

. A. Kauffman-s, 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

. S. Klamt, . J. Saez-rodriguez, . Lindquist-j, and G. E. Simeoni-l, A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinformatics, vol.7, issue.1, p.56, 2006.
DOI : 10.1186/1471-2105-7-56

M. S. Alon-u, Structure and function of the feed-forward loop network motif, pp.11980-11985, 2003.

M. A. Heldin-c, Signaling networks guiding epithelialmesenchymal transitions during embryogenesis and cancer progression, Cancer Sci, vol.98, issue.10, pp.1512-1520, 2007.

N. and ]. M. Noual, Synchronism vs Asynchronism in Boolean networks, CoRR, vol.4039, 1104.

N. , ]. M. Noual, and R. D. Sené-s, Non-monotony and Boolean automata networks, CoRR, vol.4552, 1111.

P. , ]. L. Paulevé, and R. O. Magnin-m, Refining Dynamics of Gene Regulatory Networks in a Stochastic ?-Calculus Framework, Transactions on Computational Systems Biology XIII, pp.171-191, 2011.

P. , ]. L. Paulevé, and R. O. Magnin-m, Tuning Temporal Features within the Stochastic ?-Calculus, Software Engineering IEEE Transactions on, vol.37, issue.6, pp.858-871, 2011.

P. , ]. L. Paulevé, and R. A. , Static Analysis of Boolean Networks Based on Interaction Graphs: a Survey, Proceedings of The Second International Workshop on Static Analysis and Systems Biology, pp.93-104, 2011.

P. , ]. L. Paulevé, and R. O. Magnin-m, From the Process Hitting to Petri Nets and Back, 2012.

P. , ]. L. Paulevé, and R. O. Magnin-m, Static Analysis of Biological Regulatory Networks Dynamics using Abstract Interpretation, Mathematical Structures in Computer Science, vol.22, pp.651-685, 2012.

R. A. and C. Bernot-g, Formal methods for modeling biological regulatory networks, Modern Formal Methods and Applications, pp.83-122, 2006.

R. A. and C. Bernot-g, Modern Formal Methods and Applications " , Chapter Formal Methods for Modeling Biological Regulatory Networks, pp.83-122, 2006.

S. Simeoni-l, L. J. Hemenway-r, . Bommhardt-u, H. Arndt-b, G. E. Weismantel-r et al., A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.3, issue.8, 2007.

S. O. , F. H. Lobke-c, . Korf-u, . Burmester-s, M. J. Majety-m 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.

. Sam, . R. Samaga, A. J. Saez-rodriguez, and K. K. Sorger-p, The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data, PLoS Computational Biology, vol.5, 2009.

S. C. , A. K. , K. S. Buchoff, . Day-m, . Hannay-t et al., PID: The Pathway Interaction Database, Nucleic Acids Res, vol.37, pp.674-683, 2009.