. Kegg-pathway-database, http://www.genome.jp/kegg/pathway.html# metabolism

I. Thiele, N. Swainston, R. Fleming, A. Hoppe, S. Sahoo et al., A community-driven global reconstruction of human metabolism, Nature Biotechnology, vol.8, issue.5, pp.419-444, 2013.
DOI : 10.1093/bioinformatics/btp392

G. Joshi-tope, M. Gillespie, I. Vastrik, D. Eustachio, P. Schmidt et al., Reactome: a knowledgebase of biological pathways, Nucleic Acids Research, vol.33, issue.Database issue, pp.428-460, 2005.
DOI : 10.1093/nar/gki072

L. Calzone, A. Gelay, A. Zinovyev, F. Radvanyi, and E. Barillot, A comprehensive modular map of molecular interactions in RB/E2F pathway, Molecular Systems Biology, vol.4, issue.1, 2008.
DOI : 10.1016/S0092-8674(00)80625-X

K. Oda, Y. Matsuoka, A. Funahashi, and H. Kitano, A comprehensive pathway map of epidermal growth factor receptor signaling, Molecular Systems Biology, vol.273, issue.1, p.10, 2005.
DOI : 10.1038/msb4100014

L. Novère, N. Hucka, M. Mi, H. Moodie, S. Schreiber et al., The Systems Biology Graphical Notation, Nature Biotechnology, vol.267, issue.8, pp.735-776, 2009.
DOI : 10.1038/nbt.1558

E. Goles, Dynamics of positive automata networks, Theoretical Computer Science, vol.41, pp.19-32, 1985.
DOI : 10.1016/0304-3975(85)90057-X

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

M. Courtot, N. Juty, C. Knüpfer, D. Waltemath, A. Zhukova et al., Controlled vocabularies and semantics in systems biology, Molecular Systems Biology, vol.4075, issue.1, p.543, 2011.
DOI : 10.1016/j.jbi.2010.10.003

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

M. Van-iersel, A. Villéger, T. Czauderna, S. Boyd, F. Bergmann et al., Software support for SBGN maps: SBGN-ML and LibSBGN, Bioinformatics, vol.28, issue.15, pp.2016-2037, 2012.
DOI : 10.1093/bioinformatics/bts270

T. Czauderna, C. Klukas, and F. Schreiber, Editing, validating and translating of SBGN maps, Bioinformatics, vol.26, issue.18, pp.2340-2341, 2010.
DOI : 10.1093/bioinformatics/btq407

A. Funahashi, Y. Matsuoka, A. Jouraku, M. Morohashi, N. Kikuchi et al., CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks, Proceedings of the IEEE, vol.96, issue.8, pp.1254-65, 2008.
DOI : 10.1109/JPROC.2008.925458

D. Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-437, 1976.
DOI : 10.1016/0021-9991(76)90041-3

D. Wilkinson, Stochastic modelling for systems biology, 2011.

M. Heiner, D. Gilbert, and R. Donaldson, Petri Nets for Systems and Synthetic Biology, Lecture Notes in Computer Science, vol.5016, pp.215-64, 2008.
DOI : 10.1007/978-3-540-68894-5_7

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable Simulation of Cellular Signaling Networks, Proc. of the Fifth Asian Symposium on Programming Systems, pp.139-57, 2007.
DOI : 10.1007/978-3-540-76637-7_10

URL : https://hal.archives-ouvertes.fr/inria-00528409

L. Loewe, M. Guerriero, S. Watterson, S. Moodie, P. Ghazal et al., Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway
DOI : 10.1093/bioinformatics/btq154

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1812, 2006.
DOI : 10.1093/bioinformatics/btl172

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

J. Tyson and H. Othmer, The Dynamics of Feedback Control Circuits in Biochemical Pathways, Prog Theor Biol, vol.5, pp.1-62, 1978.
DOI : 10.1016/B978-0-12-543105-7.50008-7

D. Heitzler, G. Durand, N. Gallay, A. Rizk, S. Ahn et al., Competing G protein-coupled receptor kinases balance G protein and ??-arrestin signaling, Molecular Systems Biology, vol.3, issue.1, 2012.
DOI : 10.1038/msb.2012.22

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

J. Orth, I. Thiele, and B. Palsson, What is flux balance analysis?, Nature Biotechnology, vol.19, issue.3, pp.245-253, 2010.
DOI : 10.1038/nbt.1614

A. Hartmann and F. Schreiber, Integrative Analysis of Metabolic Models ???????? from Structure to Dynamics, Frontiers in Bioengineering and Biotechnology, vol.97, 2014.
DOI : 10.1007/s00253-012-4543-9

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

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

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

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-50, 2011.
DOI : 10.1007/s11047-010-9178-0

M. Morris, J. Saez-rodriguez, D. Clarke, P. Sorger, and D. Lauffenburger, Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli, PLoS Computational Biology, vol.31, issue.3, p.1001099, 2011.
DOI : 10.1371/journal.pcbi.1001099.s019

R. Samaga, V. Kamp, A. Klamt, and S. , Computing Combinatorial Intervention Strategies and Failure Modes in Signaling Networks, Journal of Computational Biology, vol.17, issue.1, pp.39-53, 2010.
DOI : 10.1089/cmb.2009.0121

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

L. Paulevé, C. Chancellor, M. Folschette, M. Magnin, and O. Roux, Analyzing Large Network Dynamics with Process Hitting, Logical modeling of biological systems, pp.125-66, 2014.
DOI : 10.1002/9781119005223.ch4

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.
DOI : 10.1016/j.tcs.2008.04.024

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

L. Bernardinello, D. Cindio, and F. , A survey of basic net models and modular net classes, Lecture Notes in Computer Science, vol.609, pp.304-51, 1992.
DOI : 10.1007/3-540-55610-9_177

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-171, 2014.
DOI : 10.1007/978-3-319-12982-2_10

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

C. Chaouiya, Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007.
DOI : 10.1093/bib/bbm029

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

A. Bracken, M. Ciro, A. Cocito, and K. Helin, E2F target genes: unraveling the biology, Trends in Biochemical Sciences, vol.29, issue.8, pp.409-426, 2004.
DOI : 10.1016/j.tibs.2004.06.006

D. Gong and J. Ferrell, The Roles of Cyclin A2, B1, and B2 in Early and Late Mitotic Events, Molecular Biology of the Cell, vol.21, issue.18, pp.3149-61, 2010.
DOI : 10.1091/mbc.E10-05-0393

G. Pardini, P. Milazzo, and A. Maggiolo-schettini, Component identification in biochemical pathways, Theoretical Computer Science, vol.587, pp.104-128, 2015.
DOI : 10.1016/j.tcs.2015.03.013

E. Bonnet, L. Calzone, D. Rovera, G. Stoll, E. Barillot et al., BiNoM 2.0, a Cytoscape plugin for accessing and analyzing pathways using standard systems biology formats, BMC Systems Biology, vol.7, issue.1, p.18, 2013.
DOI : 10.1038/ng1923

URL : https://hal.archives-ouvertes.fr/inserm-00820930

T. Vogt, T. Czauderna, and F. Schreiber, Translation of SBGN maps: Process Description to Activity Flow, BMC Systems Biology, vol.7, issue.1, p.115, 2013.
DOI : 10.1016/j.tplants.2010.03.005

E. Clarke and E. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic In: Logic of Programs, Lecture Notes in Computer Science. Berlin, pp.52-71, 1981.

C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

A. Richard, J. Comet, and G. Bernot, Formal Methods for Modeling Biological Regulatory Networks, pp.83-122, 2006.
DOI : 10.1007/1-4020-4223-X_5

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

M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath et al., Simulation and Verification for Computational Modelling of Signalling Pathways, Proceedings of the 2006 Winter Simulation Conference, pp.1666-75, 2006.
DOI : 10.1109/WSC.2006.322941

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.124-155, 2006.
DOI : 10.1093/bioinformatics/btl210

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

P. Traynard, F. Fages, and S. Soliman, Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis, Computational Methods in Systems Biology, pp.208-229, 2015.
DOI : 10.1007/978-3-319-23401-4_18

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

L. Paulevé, G. Andrieux, and H. Koeppl, Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, Computer Aided Verification, pp.69-84, 2013.
DOI : 10.1007/978-3-642-39799-8_4

W. Abou-jaoudé, P. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess T-helper cell plasticity, Front Bioeng Biotechnol, vol.2, 2015.
DOI : 10.1101/012641

P. Schnoebelen, The complexity of temporal logic model checking In: Advances in Modal Logic'02. King's College Publications, pp.393-436, 2002.

J. Couvreur and Y. Thierry-mieg, Hierarchical Decision Diagrams to Exploit Model Structure, pp.443-57, 2005.
DOI : 10.1007/978-3-540-30232-2_18

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

J. Esparza and K. Heljanko, Unfoldings: A Partial-Order Approach to Model Checking, Monographs in Theor Comput Sci. An EATCS Series, 2008.

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-68, 2002.
DOI : 10.1007/3-540-45657-0_29

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2006.
DOI : 10.1007/11691372_29

L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, pp.651-85, 2012.
DOI : 10.1007/s11538-008-9304-7

A. Naldi, E. Remy, D. Thieffry, and C. Chaouiya, Dynamically consistent reduction of logical regulatory graphs, Theoretical Computer Science, vol.412, issue.21, pp.2207-2225, 2011.
DOI : 10.1016/j.tcs.2010.10.021

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

M. Hucka, A. Finney, H. Sauro, H. Bolouri, J. Doyle et al., The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-555, 2003.
DOI : 10.1093/bioinformatics/btg015

C. Chaouiya, D. Bérenguier, S. Keating, A. Naldi, M. Van-iersel et al., SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools, BMC Systems Biology, vol.7, issue.1, p.135, 2013.
DOI : 10.1186/1752-0509-5-198

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

V. Lifschitz, What is answer set programming?, Proc. of the AAAI Conference on Artificial Intelligence, pp.1594-1601, 2008.

M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub et al., A user's guide to gringo, clasp, clingo, and iclingo, 2008.