http://www.genome.jp/kegg/pathway.html# metabolism ,
A community-driven global reconstruction of human metabolism, Nature Biotechnology, vol.8, issue.5, pp.419-444, 2013. ,
DOI : 10.1093/bioinformatics/btp392
Reactome: a knowledgebase of biological pathways, Nucleic Acids Research, vol.33, issue.Database issue, pp.428-460, 2005. ,
DOI : 10.1093/nar/gki072
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
A comprehensive pathway map of epidermal growth factor receptor signaling, Molecular Systems Biology, vol.273, issue.1, p.10, 2005. ,
DOI : 10.1038/msb4100014
The Systems Biology Graphical Notation, Nature Biotechnology, vol.267, issue.8, pp.735-776, 2009. ,
DOI : 10.1038/nbt.1558
Dynamics of positive automata networks, Theoretical Computer Science, vol.41, pp.19-32, 1985. ,
DOI : 10.1016/0304-3975(85)90057-X
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
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
Software support for SBGN maps: SBGN-ML and LibSBGN, Bioinformatics, vol.28, issue.15, pp.2016-2037, 2012. ,
DOI : 10.1093/bioinformatics/bts270
Editing, validating and translating of SBGN maps, Bioinformatics, vol.26, issue.18, pp.2340-2341, 2010. ,
DOI : 10.1093/bioinformatics/btq407
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
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
Stochastic modelling for systems biology, 2011. ,
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
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
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
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
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
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
What is flux balance analysis?, Nature Biotechnology, vol.19, issue.3, pp.245-253, 2010. ,
DOI : 10.1038/nbt.1614
Integrative Analysis of Metabolic Models ???????? from Structure to Dynamics, Frontiers in Bioengineering and Biotechnology, vol.97, 2014. ,
DOI : 10.1007/s00253-012-4543-9
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
Dynamical behaviour of biological regulatory networks-II, Immunity control in bacteriophage lambda, Bull Math Biol, vol.57, pp.277-97, 1995. ,
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
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
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
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
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
Analyzing Large Network Dynamics with Process Hitting, Logical modeling of biological systems, pp.125-66, 2014. ,
DOI : 10.1002/9781119005223.ch4
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
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
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
Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007. ,
DOI : 10.1093/bib/bbm029
Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-80, 1989. ,
DOI : 10.1109/5.24143
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
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
Component identification in biochemical pathways, Theoretical Computer Science, vol.587, pp.104-128, 2015. ,
DOI : 10.1016/j.tcs.2015.03.013
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
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
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. ,
Principles of Model Checking (Representation and Mind Series), 2008. ,
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
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
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
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
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
Model checking to assess T-helper cell plasticity, Front Bioeng Biotechnol, vol.2, 2015. ,
DOI : 10.1101/012641
The complexity of temporal logic model checking In: Advances in Modal Logic'02. King's College Publications, pp.393-436, 2002. ,
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
Unfoldings: A Partial-Order Approach to Model Checking, Monographs in Theor Comput Sci. An EATCS Series, 2008. ,
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-68, 2002. ,
DOI : 10.1007/3-540-45657-0_29
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
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
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
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
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
What is answer set programming?, Proc. of the AAAI Conference on Artificial Intelligence, pp.1594-1601, 2008. ,
A user's guide to gringo, clasp, clingo, and iclingo, 2008. ,