TY - STD TI - KEGG Pathway Database. http://www.genome.jp/kegg/pathway.html%23metabolism. Accessed 2016-02-08. UR - http://www.genome.jp/kegg/pathway.html%23metabolism ID - ref1 ER - TY - STD TI - ACSN - Atlas of Cancer Signalling Networks. https://acsn.curie.fr. Accessed 2016-02-08. UR - https://acsn.curie.fr ID - ref2 ER - TY - JOUR AU - Thiele, I. AU - Swainston, N. AU - Fleming, R. M. AU - Hoppe, A. AU - Sahoo, S. AU - Aurich, M. K. AU - Haraldsdottir, H. AU - Mo, M. L. AU - Rolfsson, O. AU - Stobbe, M. D. PY - 2013 DA - 2013// TI - A community-driven global reconstruction of human metabolism JO - Nat Biotechnol VL - 31 UR - https://doi.org/10.1038/nbt.2488 DO - 10.1038/nbt.2488 ID - Thiele2013 ER - TY - JOUR AU - Joshi-Tope, G. AU - Gillespie, M. AU - Vastrik, I. AU - D’Eustachio, P. AU - Schmidt, E. AU - de Bono, B. AU - Jassal, B. AU - Gopinath, G. AU - Wu, G. AU - Matthews, L. PY - 2005 DA - 2005// TI - Reactome: a knowledgebase of biological pathways JO - Nucleic Acids Res VL - 33 ID - Joshi-Tope2005 ER - TY - STD TI - Calzone L, Gelay A, Zinovyev A, Radvanyi F, Barillot E. A comprehensive modular map of molecular interactions in RB/E2F pathway. Mol Syst Biol. 2008; 4(1). http://msb.embopress.org/content/4/1/0174.export. UR - http://msb.embopress.org/content/4/1/0174.export ID - ref5 ER - TY - STD TI - Oda K, Matsuoka Y, Funahashi A, Kitano H. A comprehensive pathway map of epidermal growth factor receptor signaling. Mol Syst Biol. 2005; 1(1). http://msb.embopress.org/content/1/1/2005.0010. UR - http://msb.embopress.org/content/1/1/2005.0010 ID - ref6 ER - TY - JOUR AU - Le Novère, N. AU - Hucka, M. AU - Mi, H. AU - Moodie, S. AU - Schreiber, F. AU - Sorokin, A. AU - Demir, E. AU - Wegner, K. AU - Aladjem, M. I. AU - Wimalaratne, S. M. PY - 2009 DA - 2009// TI - The systems biology graphical notation JO - Nat Biotechnol VL - 27 UR - https://doi.org/10.1038/nbt.1558 DO - 10.1038/nbt.1558 ID - Le Novère2009 ER - TY - JOUR AU - Goles, E. PY - 1985 DA - 1985// TI - Dynamics of positive automata networks JO - Theor Comput Sci VL - 41 UR - https://doi.org/10.1016/0304-3975(85)90057-X DO - 10.1016/0304-3975(85)90057-X ID - Goles1985 ER - TY - JOUR AU - Kauffman, S. PY - 1969 DA - 1969// TI - Metabolic stability and epigenesis in randomly constructed genetic nets JO - J Theor Biol VL - 22 UR - https://doi.org/10.1016/0022-5193(69)90015-0 DO - 10.1016/0022-5193(69)90015-0 ID - Kauffman1969 ER - TY - JOUR AU - Courtot, M. AU - Juty, N. AU - Knüpfer, C. AU - Waltemath, D. AU - Zhukova, A. AU - Dräger, A. AU - Dumontier, M. AU - Finney, A. AU - Golebiewski, M. AU - Hastings, J. PY - 2011 DA - 2011// TI - Controlled vocabularies and semantics in systems biology JO - Mol Syst Biol VL - 7 UR - https://doi.org/10.1038/msb.2011.77 DO - 10.1038/msb.2011.77 ID - Courtot2011 ER - TY - JOUR AU - van Iersel, M. P. AU - Villéger, A. C. AU - Czauderna, T. AU - Boyd, S. E. AU - Bergmann, F. T. AU - Luna, A. AU - Demir, E. AU - Sorokin, A. AU - Dogrusoz, U. AU - Matsuoka, Y. PY - 2012 DA - 2012// TI - Software support for SBGN maps: SBGN-ML and libSBGN JO - Bioinformatics VL - 28 UR - https://doi.org/10.1093/bioinformatics/bts270 DO - 10.1093/bioinformatics/bts270 ID - van Iersel2012 ER - TY - JOUR AU - Czauderna, T. AU - Klukas, C. AU - Schreiber, F. PY - 2010 DA - 2010// TI - Editing, validating and translating of SBGN maps JO - Bioinformatics VL - 26 UR - https://doi.org/10.1093/bioinformatics/btq407 DO - 10.1093/bioinformatics/btq407 ID - Czauderna2010 ER - TY - JOUR AU - Funahashi, A. AU - Matsuoka, Y. AU - Jouraku, A. AU - Morohashi, M. AU - Kikuchi, N. AU - Kitano, H. PY - 2008 DA - 2008// TI - Celldesigner 3.5: a versatile modeling tool for biochemical networks JO - Proc IEEE VL - 96 UR - https://doi.org/10.1109/JPROC.2008.925458 DO - 10.1109/JPROC.2008.925458 ID - Funahashi2008 ER - TY - JOUR AU - Gillespie, D. T. PY - 1976 DA - 1976// TI - A general method for numerically simulating the stochastic time evolution of coupled chemical reactions JO - J Comput Physs VL - 22 UR - https://doi.org/10.1016/0021-9991(76)90041-3 DO - 10.1016/0021-9991(76)90041-3 ID - Gillespie1976 ER - TY - BOOK AU - Wilkinson, D. J. PY - 2011 DA - 2011// TI - Stochastic modelling for systems biology PB - CRC press CY - UK ID - Wilkinson2011 ER - TY - CHAP AU - Heiner, M. AU - Gilbert, D. AU - Donaldson, R. PY - 2008 DA - 2008// TI - Petri nets for systems and synthetic biology BT - Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science, vol. 5016 PB - Springer CY - Berlin Heidelberg ID - Heiner2008 ER - TY - CHAP AU - Danos, V. AU - Feret, J. AU - Fontana, W. AU - Krivine, J. ED - Shao, Z. PY - 2007 DA - 2007// TI - Scalable simulation of cellular signaling networks, invited paper BT - Proc. of the Fifth Asian Symposium on Programming Systems, APLAS ’2007, Singapore. Lecture Notes in Computer Science, vol. 4807 PB - Springer CY - Singapore ID - Danos2007 ER - TY - CHAP AU - Loewe, L. AU - Guerriero, M. AU - Watterson, S. AU - Moodie, S. AU - Ghazal, P. AU - Hillston, J. ED - Priami, C. ED - Back, R. -. J. ED - Petre, I. ED - Vink, E. PY - 2011 DA - 2011// TI - Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to Bio-PEPA illustrated on the cholesterol pathway BT - Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science, vol. 6575 PB - Springer CY - Berlin/Heidelberg ID - Loewe2011 ER - TY - JOUR AU - Calzone, L. AU - Fages, F. AU - Soliman, S. PY - 2006 DA - 2006// TI - BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge JO - Bioinformatics VL - 22 UR - https://doi.org/10.1093/bioinformatics/btl172 DO - 10.1093/bioinformatics/btl172 ID - Calzone2006 ER - TY - JOUR AU - Tyson, J. AU - Othmer, H. PY - 1978 DA - 1978// TI - The dynamics of feedback control circuits in biochemical pathways JO - Prog Theor Biol VL - 5 UR - https://doi.org/10.1016/B978-0-12-543105-7.50008-7 DO - 10.1016/B978-0-12-543105-7.50008-7 ID - Tyson1978 ER - TY - BOOK AU - Klipp, E. AU - Liebermeister, W. AU - Wierling, C. AU - Kowald, A. AU - Lehrach, H. AU - Herwig, R. PY - 2013 DA - 2013// TI - Syst Biol PB - Sons CY - Weinheim ID - Klipp2013 ER - TY - STD TI - Heitzler D, Durand G, Gallay N, Rizk A, Ahn S, Kim J, Violin JD, Dupuy L, Gauthier C, Piketty V, et al. Competing G protein-coupled receptor kinases balance G protein and β-arrestin signaling. Mol Syst Biol. 2012; 8(1). doi:http://dx.doi.org/10.1038/msb4100014. UR - http://dx.doi.org/10.1038/msb4100014 ID - ref22 ER - TY - JOUR AU - Orth, J. D. AU - Thiele, I. AU - Palsson, B. Ø. PY - 2010 DA - 2010// TI - What is flux balance analysis? JO - Nat Biotechnol VL - 28 UR - https://doi.org/10.1038/nbt.1614 DO - 10.1038/nbt.1614 ID - Orth2010 ER - TY - STD TI - Hartmann A, Schreiber F. Integrative analysis of metabolic models–from structure to dynamics. Front Bioeng Biotechnol. 2014; 2. doi:http://dx.doi.org/10.3389/fbioe.2014.00091. UR - http://dx.doi.org/10.3389/fbioe.2014.00091 ID - ref24 ER - TY - JOUR AU - Thomas, R. PY - 1973 DA - 1973// TI - Boolean formalization of genetic control circuits JO - J Theor Biol VL - 42 UR - https://doi.org/10.1016/0022-5193(73)90247-6 DO - 10.1016/0022-5193(73)90247-6 ID - Thomas1973 ER - TY - JOUR AU - Thieffry, D. AU - Thomas, R. PY - 1995 DA - 1995// TI - Dynamical behaviour of biological regulatory networks-II, Immunity control in bacteriophage lambda JO - Bull Math Biol VL - 57 ID - Thieffry1995 ER - TY - JOUR AU - Bernot, G. AU - Cassez, F. AU - Comet, J. P. AU - Delaplace, F. AU - Müller, C. AU - Roux, O. PY - 2007 DA - 2007// TI - Semantics of biological regulatory networks JO - Electron Notes Theor Comput Sci VL - 180 UR - https://doi.org/10.1016/j.entcs.2004.01.038 DO - 10.1016/j.entcs.2004.01.038 ID - Bernot2007 ER - TY - JOUR AU - Chaouiya, C. AU - Naldi, A. AU - Remy, E. AU - Thieffry, D. PY - 2011 DA - 2011// TI - Petri net representation of multi-valued logical regulatory graphs JO - Nat Comput VL - 10 UR - https://doi.org/10.1007/s11047-010-9178-0 DO - 10.1007/s11047-010-9178-0 ID - Chaouiya2011 ER - TY - JOUR AU - Morris, M. K. AU - Saez-Rodriguez, J. AU - Clarke, D. C. AU - Sorger, P. K. AU - Lauffenburger, D. A. PY - 2011 DA - 2011// TI - Training signaling pathway maps to biochemical data with constrained fuzzy logic: quantitative analysis of liver cell responses to inflammatory stimuli JO - PLoS Comput Biol VL - 7 UR - https://doi.org/10.1371/journal.pcbi.1001099 DO - 10.1371/journal.pcbi.1001099 ID - Morris2011 ER - TY - JOUR AU - Samaga, R. AU - Von Kamp, A. AU - Klamt, S. PY - 2010 DA - 2010// TI - Computing combinatorial intervention strategies and failure modes in signaling networks JO - J Comput Biol VL - 17 UR - https://doi.org/10.1089/cmb.2009.0121 DO - 10.1089/cmb.2009.0121 ID - Samaga2010 ER - TY - JOUR AU - Berntenis, N. AU - Ebeling, M. PY - 2013 DA - 2013// TI - Detection of attractors of large boolean networks via exhaustive enumeration of appropriate subspaces of the state space JO - BMC Bioinformatics VL - 14 UR - https://doi.org/10.1186/1471-2105-14-361 DO - 10.1186/1471-2105-14-361 ID - Berntenis2013 ER - TY - CHAP AU - Paulevé, L. AU - Chancellor, C. AU - Folschette, M. AU - Magnin, M. AU - Roux, O. ED - del Cerro, L. F. ED - Inoue, K. PY - 2014 DA - 2014// TI - Analyzing large network dynamics with process hitting BT - Logical modeling of biological systems PB - Wiley CY - Hoboken ID - Paulevé2014 ER - TY - JOUR AU - Fages, F. AU - Soliman, S. PY - 2008 DA - 2008// TI - Abstract interpretation and types for systems biology JO - Theor Comput Sci VL - 403 UR - https://doi.org/10.1016/j.tcs.2008.04.024 DO - 10.1016/j.tcs.2008.04.024 ID - Fages2008 ER - TY - CHAP AU - Bernardinello, L. AU - De Cindio, F. ED - Rozenberg, G. PY - 1992 DA - 1992// TI - A survey of basic net models and modular net classes BT - Advances in Petri Nets 1992. Lecture Notes in Computer Science, vol. 609 PB - Springer CY - Berlin/Heidelberg ID - Bernardinello1992 ER - TY - CHAP AU - Chatain, T. AU - Haar, S. AU - Jezequel, L. AU - Paulevé, L. AU - Schwoon, S. ED - Mendes, P. ED - Dada, J. ED - Smallbone, K. PY - 2014 DA - 2014// TI - Characterization of reachable attractors using petri net unfoldings BT - Computational Methods in Systems Biology. Lecture Notes in Computer Science, vol. 8859 PB - Springer CY - Berlin/Heidelberg ID - Chatain2014 ER - TY - JOUR AU - Chaouiya, C. PY - 2007 DA - 2007// TI - Petri net modelling of biological networks JO - Brief Bioinform VL - 8 UR - https://doi.org/10.1093/bib/bbm029 DO - 10.1093/bib/bbm029 ID - Chaouiya2007 ER - TY - JOUR AU - Murata, T. PY - 1989 DA - 1989// TI - Petri nets: properties, analysis and applications JO - Proc. of the IEEE VL - 77 UR - https://doi.org/10.1109/5.24143 DO - 10.1109/5.24143 ID - Murata1989 ER - TY - STD TI - RB/E2F Pathway. http://bioinfo-out.curie.fr/projects/rbpathway/. Accessed 2016-02-08. UR - http://bioinfo-out.curie.fr/projects/rbpathway/ ID - ref38 ER - TY - STD TI - Mole - Petri Net Unfolder. http://www.lsv.ens-cachan.fr/%7Eschwoon/tools/mole/. Accessed 2016-02-08. UR - http://www.lsv.ens-cachan.fr/%7Eschwoon/tools/mole/ ID - ref39 ER - TY - JOUR AU - Bracken, A. P. AU - Ciro, M. AU - Cocito, A. AU - Helin, K. PY - 2004 DA - 2004// TI - E2F target genes: unraveling the biology JO - Trends Biochem Sci VL - 29 UR - https://doi.org/10.1016/j.tibs.2004.06.006 DO - 10.1016/j.tibs.2004.06.006 ID - Bracken2004 ER - TY - JOUR AU - Gong, D. AU - Ferrell, J. E. PY - 2010 DA - 2010// TI - The roles of cyclin A2, B1, and B2 in early and late mitotic events JO - Mol Biol Cell VL - 21 UR - https://doi.org/10.1091/mbc.E10-05-0393 DO - 10.1091/mbc.E10-05-0393 ID - Gong2010 ER - TY - JOUR AU - Pardini, G. AU - Milazzo, P. AU - Maggiolo-Schettini, A. PY - 2015 DA - 2015// TI - Component identification in biochemical pathways JO - Theor Comput Sci VL - 587 UR - https://doi.org/10.1016/j.tcs.2015.03.013 DO - 10.1016/j.tcs.2015.03.013 ID - Pardini2015 ER - TY - JOUR AU - Bonnet, E. AU - Calzone, L. AU - Rovera, D. AU - Stoll, G. AU - Barillot, E. AU - Zinovyev, A. PY - 2013 DA - 2013// TI - BiNoM 2.0, a Cytoscape plugin for accessing and analyzing pathways using standard systems biology formats JO - BMC Syst Biol VL - 7 UR - https://doi.org/10.1186/1752-0509-7-18 DO - 10.1186/1752-0509-7-18 ID - Bonnet2013 ER - TY - JOUR AU - Vogt, T. AU - Czauderna, T. AU - Schreiber, F. PY - 2013 DA - 2013// TI - Translation of SBGN maps: process description to activity flow JO - BMC Syst Biol VL - 7 UR - https://doi.org/10.1186/1752-0509-7-115 DO - 10.1186/1752-0509-7-115 ID - Vogt2013 ER - TY - CHAP AU - Clarke, E. M. AU - Emerson, E. A. PY - 1981 DA - 1981// TI - Design and synthesis of synchronization skeletons using branching-time temporal logic BT - Logic of Programs. Lecture Notes in Computer Science PB - Springer CY - Berlin/Heidelberg ID - Clarke1981 ER - TY - BOOK AU - Baier, C. AU - Katoen, J. P. PY - 2008 DA - 2008// TI - Principles of Model Checking (Representation and Mind Series) PB - The MIT Press CY - Cambridge, USA ID - Baier2008 ER - TY - CHAP AU - Richard, A. AU - Comet, J. P. AU - Bernot, G. PY - 2006 DA - 2006// TI - Formal Methods for Modeling Biological Regulatory Networks BT - Modern Formal Methods and Applications PB - Springer CY - Netherlands ID - Richard2006 ER - TY - CHAP AU - Kwiatkowska, M. AU - Norman, G. AU - Parker, D. AU - Tymchyshyn, O. AU - Heath, J. AU - Gaffney, E. ED - Perrone, L. F. ED - Wieland, F. P. ED - Liu, J. ED - Lawson, B. G. ED - Nicol, D. M. ED - Fujimoto, R. M. PY - 2006 DA - 2006// TI - Simulation and verification for computational modelling of signalling pathways BT - Proc. Winter Simulation Conference PB - Omnipress CY - Madison, USA ID - Kwiatkowska2006 ER - TY - JOUR AU - Faure, A. AU - Naldi, A. AU - Chaouiya, C. AU - Thieffry, D. PY - 2006 DA - 2006// TI - Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle JO - Bioinformatics VL - 22 UR - https://doi.org/10.1093/bioinformatics/btl210 DO - 10.1093/bioinformatics/btl210 ID - Faure2006 ER - TY - CHAP AU - Traynard, P. AU - Fages, F. AU - Soliman, S. ED - Roux, O. ED - Bourdon, J. PY - 2015 DA - 2015// TI - Model-based investigation of the effect of the cell cycle on the circadian clock through transcription inhibition during mitosis BT - Computational Methods in Systems Biology PB - Springer CY - Berlin Heidelberg ID - Traynard2015 ER - TY - CHAP AU - Paulevé, L. AU - Andrieux, G. AU - Koeppl, H. ED - Sharygina, N. ED - Veith, H. PY - 2013 DA - 2013// TI - Under-approximating cut sets for reachability in large scale automata networks BT - Computer Aided Verification. Lecture Notes in Computer Science, vol. 8044 PB - Springer CY - Berlin/Heidelberg ID - Paulevé2013 ER - TY - STD TI - Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D. Model checking to assess T-helper cell plasticity. Front Bioeng Biotechnol. 2015; 2. doi:http://dx.doi.org/10.3389/fbioe.2014.00086. UR - http://dx.doi.org/10.3389/fbioe.2014.00086 ID - ref52 ER - TY - STD TI - Schnoebelen P. The complexity of temporal logic model checking. In: Advances in Modal Logic’02. King’s College Publications: 2002. p. 393–436. ID - ref53 ER - TY - CHAP AU - Couvreur, J. M. AU - Thierry-Mieg, Y. PY - 2005 DA - 2005// TI - Hierarchical decision diagrams to exploit model structure BT - Formal Techniques for Networked and Distributed Systems - FORTE 2005 PB - Springer CY - Berlin Heidelberg ID - Couvreur2005 ER - TY - BOOK AU - Esparza, J. AU - Heljanko, K. PY - 2008 DA - 2008// TI - Unfoldings: A Partial-Order Approach to Model Checking, 1st edn. Monographs in Theor Comput Sci. An EATCS Series PB - Springer CY - Berlin / Heidelberg ID - Esparza2008 ER - TY - CHAP AU - Cimatti, A. AU - Clarke, E. AU - Giunchiglia, E. AU - Giunchiglia, F. AU - Pistore, M. AU - Roveri, M. AU - Sebastiani, R. AU - Tacchella, A. PY - 2002 DA - 2002// TI - NuSMV 2: an opensource tool for symbolic model checking BT - Computer Aided Verification. Lecture Notes in Computer Science, vol. 2404 PB - Springer CY - Berlin / Heidelberg ID - Cimatti2002 ER - TY - STD TI - ITS Tools. http://ddd.lip6.fr. Accessed 2016-04-10. UR - http://ddd.lip6.fr ID - ref57 ER - TY - CHAP AU - Hinton, A. AU - Kwiatkowska, M. AU - Norman, G. AU - Parker, D. PY - 2006 DA - 2006// TI - PRISM: a tool for automatic verification of probabilistic systems BT - 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 3920 PB - Springer CY - Berlin / Heidelberg ID - Hinton2006 ER - TY - JOUR AU - Paulevé, L. AU - Magnin, M. AU - Roux, O. PY - 2012 DA - 2012// TI - Static analysis of biological regulatory networks dynamics using abstract interpretation JO - Math Struct Comput Sci VL - 22 UR - https://doi.org/10.1017/S0960129511000739 DO - 10.1017/S0960129511000739 ID - Paulevé2012 ER - TY - JOUR AU - Naldi, A. AU - Remy, E. AU - Thieffry, D. AU - Chaouiya, C. PY - 2011 DA - 2011// TI - Dynamically consistent reduction of logical regulatory graphs JO - Theor Comput Sci VL - 412 UR - https://doi.org/10.1016/j.tcs.2010.10.021 DO - 10.1016/j.tcs.2010.10.021 ID - Naldi2011 ER - TY - JOUR AU - Hucka, M. AU - Finney, A. AU - Sauro, H. M. AU - Bolouri, H. AU - Doyle, J. C. AU - Kitano, H. AU - Arkin, A. P. AU - Bornstein, B. J. AU - Bray, D. AU - Cornish-Bowden, A. PY - 2003 DA - 2003// TI - The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models JO - Bioinformatics VL - 19 UR - https://doi.org/10.1093/bioinformatics/btg015 DO - 10.1093/bioinformatics/btg015 ID - Hucka2003 ER - TY - JOUR AU - Chaouiya, C. AU - Bérenguier, D. AU - Keating, S. M. AU - Naldi, A. AU - Van Iersel, M. P. AU - Rodriguez, N. AU - Dräger, A. AU - Büchel, F. AU - Cokelaer, T. AU - Kowal, B. PY - 2013 DA - 2013// TI - SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools JO - BMC Syst Biol VL - 7 UR - https://doi.org/10.1186/1752-0509-7-135 DO - 10.1186/1752-0509-7-135 ID - Chaouiya2013 ER - TY - CHAP AU - Lifschitz, V. PY - 2008 DA - 2008// TI - What is answer set programming? BT - Proc. of the AAAI Conference on Artificial Intelligence, vol. 8 PB - MIT Press CY - Cambridge, USA ID - Lifschitz2008 ER - TY - STD TI - Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Thiele S. A user’s guide to gringo, clasp, clingo, and iclingo. 2008. ID - ref64 ER - TY - STD TI - Pint - Static Analyzer for Dynamics of Automata Networks. http://loicpauleve.name/pint. Accessed 2016-02-08. UR - http://loicpauleve.name/pint ID - ref65 ER -