{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T20:15:48Z","timestamp":1790626548399,"version":"4.1.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319451763","type":"print"},{"value":"9783319451770","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_7","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:42:38Z","timestamp":1472866958000},"page":"98-115","source":"Crossref","is-referenced-by-count":4,"title":["Influence Systems vs Reaction Systems"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thierry","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David A.","family":"Rosenblueth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1016\/j.jtbi.2009.02.005","volume":"258","author":"W Abou-Jaoud\u00e9","year":"2009","unstructured":"Abou-Jaoud\u00e9, W., Ouattara, D.A., Kaufman, M.: From structure to dynamics: frequency tuning in the p53-Mdm2 network: I. logical approach. J. Theor. Biol. 258(4), 561\u2013577 (2009)","journal-title":"J. Theor. Biol."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"1177","DOI":"10.1016\/j.jtbi.2010.03.031","volume":"264","author":"W Abou-Jaoud\u00e9","year":"2010","unstructured":"Abou-Jaoud\u00e9, W., Ouattara, D.A., Kaufman, M.: From structure to dynamics: frequency tuning in the p53-Mdm2 network: II differential and stochastic approaches. J. Theor. Biol. 264, 1177\u20131189 (2010)","journal-title":"J. Theor. Biol."},{"issue":"10","key":"7_CR3","doi-asserted-by":"crossref","first-page":"1684","DOI":"10.1109\/TAC.2003.817920","volume":"48","author":"D Angeli","year":"2003","unstructured":"Angeli, D., Sontag, E.D.: Monotone control systems. IEEE Trans. Autom. Control 48(10), 1684\u20131698 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR4","series-title":"Methods in Molecular Biology","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-1-61779-361-5_22","volume-title":"Bacterial Molecular Networks","author":"G Batt","year":"2012","unstructured":"Batt, G., et al.: Genetic Network Analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. In: van Helden, J., Toussaint, A., Thieffry, D. (eds.) Bacterial Molecular Networks. Methods in Molecular Biology, vol. 804, pp. 439\u2013462. Springer, New York (2012)"},{"key":"7_CR5","unstructured":"Bernot, G., Comet, J.P., Khalis, Z.: Gene regulatory networks wih multiplexes. In: Proceedings of European Simulation and Modelling Conference, ESM 2008. pp. 423\u2013432 (2008)"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Brief. Bioinform. 8, 210 (2007)","journal-title":"Brief. Bioinform."},{"issue":"12","key":"7_CR7","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/2380656.2380679","volume":"55","author":"B Chazelle","year":"2012","unstructured":"Chazelle, B.: Natural algorithms and influence systems. Commun. ACM 55(12), 101\u2013110 (2012)","journal-title":"Commun. ACM"},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"e45","DOI":"10.1371\/journal.pcbi.0030045","volume":"3","author":"A Ciliberto","year":"2007","unstructured":"Ciliberto, A., Capuani, F., Tyson, J.J.: Modeling networks of coupled enzymatic reactions using the total quasi-steady state approximation. PLOS Comput. Biol. 3(3), e45 (2007)","journal-title":"PLOS Comput. Biol."},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.procs.2012.09.014","volume":"11","author":"JP Comet","year":"2012","unstructured":"Comet, J.P., Bernot, G., Das, A., Diener, F., Massot, C., Cessieux, A.: Simplified models for the mammalian circadian clock. Procedia Comput. Sci. 11, 127\u2013138 (2012)","journal-title":"Procedia Comput. Sci."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, POPL1977, pp. 238\u2013252, Los Angeles. ACM, New York (1977)","DOI":"10.1145\/512950.512973"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599, 64\u201378 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-540-68413-8_7","volume-title":"Formal Methods in Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: From reaction models to influence graphs and back: a theorem. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 90\u2013102. Springer, Heidelberg (2008)"},{"issue":"25","key":"7_CR14","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"1","key":"7_CR15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39(1), 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1093\/bioinformatics\/btn266","volume":"24","author":"AG Gonz\u00e1lez","year":"2008","unstructured":"Gonz\u00e1lez, A.G., Chaouiya, C., Thieffry, D.: Qualitative dynamical modelling of the formation of the anterior-posterior compartment boundary in the drosophila wing imaginal disc. Bioinformatics 24, 234\u2013240 (2008)","journal-title":"Bioinformatics"},{"issue":"10","key":"7_CR17","doi-asserted-by":"crossref","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of mapk network on cancer cell fate decision. PLOS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLOS Comput. Biol."},{"issue":"4","key":"7_CR18","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003). http:\/\/sbml.org\/","journal-title":"Bioinformatics"},{"issue":"2","key":"7_CR19","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0022-5193(72)90102-6","volume":"36","author":"M Katsumata","year":"1972","unstructured":"Katsumata, M.: Graphic representation of Botts-Morales equation for enzyme-substrate-modifier system. J. Theor. Biol. 36(2), 327\u2013338 (1972)","journal-title":"J. Theor. Biol."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/978-3-319-11520-7_59","volume-title":"Cellular Automata","author":"H Klarner","year":"2014","unstructured":"Klarner, H., Bockmayr, A., Siebert, H.: Computing symbolic steady states of Boolean networks. In: W\u0105s, J., Sirakoulis, G.C., Bandini, S. (eds.) ACRI 2014. LNCS, vol. 8751, pp. 561\u2013570. Springer, Heidelberg (2014)"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"7051","DOI":"10.1073\/pnas.1132112100","volume":"100","author":"JC Leloup","year":"2003","unstructured":"Leloup, J.C., Goldbeter, A.: Toward a detailed computational model for the mammalian circadian clock. Proc. Nat. Acad. Sci. 100, 7051\u20137056 (2003)","journal-title":"Proc. Nat. Acad. Sci."},{"issue":"2","key":"7_CR22","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-642-03845-7_18","volume-title":"Computational Methods in Systems Biology","author":"A Naldi","year":"2009","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: A reduction of logical regulatory graphs preserving essential dynamical properties. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 266\u2013280. Springer, Heidelberg (2009)"},{"issue":"9","key":"7_CR24","doi-asserted-by":"crossref","first-page":"e1000912","DOI":"10.1371\/journal.pcbi.1000912","volume":"6","author":"A Naldi","year":"2010","unstructured":"Naldi, A., Carneiro, J., Chaouiya, C., Thieffry, D.: Diversity and plasticity of th cell types predicted from regulatory network modelling. PLoS Comput. Biol. 6(9), e1000912 (2010)","journal-title":"PLoS Comput. Biol."},{"issue":"34","key":"7_CR25","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"1","author":"N Nov\u00e8re le","year":"2006","unstructured":"le Nov\u00e8re, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J.L., Hucka, M.: BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acid Res. 1(34), D689\u2013D691 (2006)","journal-title":"Nucleic Acid Res."},{"issue":"8","key":"7_CR26","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"N Novere le","year":"2009","unstructured":"le Novere, N., Hucka, M., Mi, H., Moodie, S., Schreiber, F., Sorokin, A., Demir, E., Wegner, K., Aladjem, M.I., Wimalaratne, S.M., Bergman, F.T., Gauges, R., Ghazal, P., Kawaji, H., Li, L., Matsuoka, Y., Villeger, A., Boyd, S.E., Calzone, L., Courtot, M., Dogrusoz, U., Freeman, T.C., Funahashi, A., Ghosh, S., Jouraku, A., Kim, S., Kolpakov, F., Luna, A., Sahle, S., Schmidt, E., Watterson, S., Wu, G., Goryanin, I., Kell, D.B., Sander, C., Sauro, H., Snoep, J.L., Kohn, K., Kitano, H.: The systems biology graphical notation. Nat. Biotechnol. 27(8), 735\u2013741 (2009)","journal-title":"Nat. Biotechnol."},{"issue":"3","key":"7_CR27","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/j.aam.2007.11.003","volume":"41","author":"E Remy","year":"2008","unstructured":"Remy, E., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv. Appl. Math. 41(3), 335\u2013350 (2008)","journal-title":"Adv. Appl. Math."},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-3-319-07953-0_19","volume-title":"Algorithms for Computational Biology","author":"DA Rosenblueth","year":"2014","unstructured":"Rosenblueth, D.A., Mu\u00f1oz, S., Carrillo, M., Azpeitia, E.: Inference of Boolean networks from gene\u00a0interaction graphs using a SAT solver. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) AlCoB 2014. LNCS, vol. 8542, pp. 235\u2013246. Springer, Heidelberg (2014)"},{"issue":"4","key":"7_CR29","first-page":"702","volume":"26","author":"P Ruet","year":"2016","unstructured":"Ruet, P.: Local cycles and dynamical properties of Boolean networks. Math. Found. Comput. Sci. 26(4), 702\u2013718 (2016)","journal-title":"Math. Found. Comput. Sci."},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."},{"key":"7_CR31","volume-title":"Biological Feedback","author":"R Thomas","year":"1990","unstructured":"Thomas, R., D\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Traynard, P., Faur\u00e9, A., Fages, F., Thieffry, D.: Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics, Special issue of ECCB (2016)","DOI":"10.1093\/bioinformatics\/btw457"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45177-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T01:38:46Z","timestamp":1568338726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}