{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T02:33:17Z","timestamp":1773973997537,"version":"3.50.1"},"publisher-location":"New York, NY","reference-count":41,"publisher":"Springer New York","isbn-type":[{"value":"9781617793608","type":"print"},{"value":"9781617793615","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T00:00:00Z","timestamp":1319760000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-1-61779-361-5_22","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T01:21:04Z","timestamp":1323134464000},"page":"439-462","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Gr\u00e9gory","family":"Batt","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Besson","sequence":"additional","affiliation":[]},{"given":"Pierre-Emmanuel","family":"Ciron","sequence":"additional","affiliation":[]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[]},{"given":"Estelle","family":"Dumas","sequence":"additional","affiliation":[]},{"given":"Johannes","family":"Geiselmann","sequence":"additional","affiliation":[]},{"given":"Regis","family":"Monte","sequence":"additional","affiliation":[]},{"given":"Pedro T.","family":"Monteiro","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Page","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Rechenmann","sequence":"additional","affiliation":[]},{"given":"Delphine","family":"Ropers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,10,28]]},"reference":[{"key":"22_CR1_22","doi-asserted-by":"crossref","DOI":"10.1142\/p567","volume-title":"Computational Modelling Of Gene Regulatory Networks: A Primer","author":"H Bolouri","year":"2008","unstructured":"Bolouri H. (2008) Computational Modelling of Gene Regulatory Networks: A Primer. Imperial College Press, London."},{"key":"22_CR2_22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1161-4","volume-title":"The Regulation of Cellular Systems","author":"R Heinrich","year":"1996","unstructured":"Heinrich R, Schuster S. (1996) The Regulation of Cellular Systems. Chapman & Hall, New York."},{"key":"22_CR3_22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H de Jong","year":"2002","unstructured":"de Jong H. (2002) Modeling and simulation of genetic regulatory systems: a literature review. J Comput Biol, 9:67\u2013103.","journal-title":"J. Comput. Biol."},{"issue":"11","key":"22_CR4_22","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger T. (2007) Executable cell biology. Nat Biotechnol, 25(11):1239\u20131250.","journal-title":"Nat. Biotechnol."},{"issue":"10","key":"22_CR5_22","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1038\/nrm2503","volume":"9","author":"G Karlebach","year":"2008","unstructured":"Karlebach G, Shamir R. (2008) Modelling and analysis of gene regulatory networks. Nat Rev Mol Cell Biol, 9(10):770\u2013780.","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"22_CR6_22","volume-title":"d\u2019Ari R: Biological Feedback","author":"R Thomas","year":"1990","unstructured":"Thomas R, d\u2019Ari R. (1990) Biological Feedback. CRC Press, Boca Raton, FL."},{"issue":"4","key":"22_CR7_22","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C. (2007) Petri net modelling of biological networks. Brief Bioinform, 8(4): 210\u2013219.","journal-title":"Brief. Bioinform."},{"key":"22_CR8_22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790515","volume-title":"Systems Biology: Properties of Reconstructed Networks","author":"B Palsson","year":"2006","unstructured":"Palsson B. (2006) Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, New York."},{"key":"22_CR9_22","first-page":"313","volume":"2008","author":"Ciocchetta F, Hillston J: Process algebras in systems biology. In Proc. 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM","year":"2008","unstructured":"Ciocchetta F, Hillston J. (2008) Process Algebras in Systems Biology. In Proc. 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2008), Volume 5016 of LNCS. Edited by Bernardo M, Degano P, Zavattaro G, Springer-Verlag, Berlin, 313\u2013365.","journal-title":"Edited by Bernardo M, Degano P, Zavattaro G, Berlin: Springer-Verlag"},{"key":"22_CR10_22","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass L, Kauffman S. (1973) The logical analysis of continuous non-linear biochemical control networks. J Theor Biol, 39:103\u2013129.","journal-title":"J. Theor. Biol."},{"issue":"4","key":"22_CR11_22","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1016\/j.automatica.2007.08.004","volume":"44","author":"G Batt","year":"2008","unstructured":"Batt G, de Jong H, Page M, Geiselmann J. (2008) Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica, 44(4):982\u2013989.","journal-title":"Automatica"},{"key":"22_CR12_22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s00285-005-0338-2","volume":"52","author":"R Casey","year":"2006","unstructured":"Casey R, de Jong H, Gouz\u00e9 JL. (2006) Piecewise-linear models of genetic regulatory networks: equilibria and their stability. J Math Biol, 52:27\u201356.","journal-title":"J. Math. Biol."},{"issue":"1\u20134","key":"22_CR13_22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0167-2789(00)00130-5","volume":"146","author":"R Edwards","year":"2000","unstructured":"Edwards R. (2006) Analysis of continuous-time switching networks. Physica D, 146(1\u20134):165\u2013199.","journal-title":"Physica D"},{"issue":"4","key":"22_CR14_22","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10441-009-9086-9","volume":"57","author":"E Farcot","year":"2009","unstructured":"Farcot E, Gouz\u00e9 JL. (2009) Periodic solutions of piecewise affine gene network models with non uniform decay rates: the case of a negative feedback loop. Acta Biotheor, 57(4):429\u2013455.","journal-title":"Acta Biotheor."},{"issue":"4","key":"22_CR15_22","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/1468936021000041681","volume":"17","author":"JL Gouz\u00e9","year":"2002","unstructured":"Gouz\u00e9 JL, Sari T. (2002) A class of piecewise linear differential equations arising in biological models. Dyn Syst, 17(4):299\u2013316.","journal-title":"Dyn Syst"},{"issue":"2","key":"22_CR16_22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1006\/jtbi.1995.0199","volume":"176","author":"T Mestl","year":"1995","unstructured":"Mestl T, Plahte E, Omholt S. (1995) A mathematical framework for describing and analysing gene regulatory networks. J Theor Biol, 176(2):291\u2013300.","journal-title":"J. Theor. Biol."},{"key":"22_CR17_22","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF02547797","volume":"6","author":"L Glass","year":"1978","unstructured":"Glass L, Pasternack J. (1978) Stable oscillations in mathematical models of biological control systems. J Math Biol, 6:207\u2013223.","journal-title":"J. Math. Biol."},{"key":"22_CR18_22","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/j.physd.2004.11.014","volume":"201","author":"E Plahte","year":"2005","unstructured":"Plahte E, Kj\u00f8glum S. (2005) Analysis and generic properties of gene regulatory networks with graded response functions. Physica D, 201:150\u2013176.","journal-title":"Physica D"},{"issue":"3","key":"22_CR19_22","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H de Jong","year":"2003","unstructured":"de Jong H, Geiselmann J, Hernandez C, Page M. (2003) Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics, 19(3):336\u2013344.","journal-title":"Bioinformatics"},{"issue":"2","key":"22_CR20_22","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/TCBB.2007.70254","volume":"5","author":"H de Jong","year":"2008","unstructured":"de Jong H, Page M. (2008) Search for steady states of piecewise-linear differential equation models of genetic regulatory networks. ACM\/IEEE Trans Comput Biol Bioinform, 5(2):208\u2013222.","journal-title":"ACM\/IEEE Trans. Comput. Biol. Bioinform."},{"issue":"16","key":"22_CR21_22","doi-asserted-by":"publisher","first-page":"i227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"P Monteiro","year":"2008","unstructured":"Monteiro P, Ropers D, Mateescu R, Freitas A, de Jong H. (2008) Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics, 24(16):i227\u2013i233.","journal-title":"Bioinformatics"},{"issue":"2","key":"22_CR22_22","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.biosystems.2005.10.005","volume":"84","author":"D Ropers","year":"2006","unstructured":"Ropers D, de Jong H, Page M, Schneider D, Geiselmann J. (2006) Qualitative simulation of the carbon starvation response in Escherichia coli. Biosystems, 84(2):124\u2013152.","journal-title":"Biosystems"},{"issue":"1","key":"22_CR23_22","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/TCBB.2009.49","volume":"8","author":"D Ropers","year":"2011","unstructured":"Ropers D, Baldazzi V, de Jong H. (2011) Model reduction using piecewise-linear approximations preserves dynamic properties of the carbon starvation response in Escherichia coli. ACM\/IEEE Trans Comput Biol Bioinform, 8(1):166\u2013181.","journal-title":"ACM\/IEEE Trans Comput Biol Bioinform"},{"issue":"8","key":"22_CR24_22","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"NL Nov\u00e8re","year":"2009","unstructured":"Nov\u00e8re NL, Hucka M, Mi H, Moodie S, Schreiber F, Sorokin A, Demir E, Wegner K, Aladjem M, Wimalaratne S, Bergman F, Gauges R, Ghazal P, Kawaji H, Li L, Matsuoka Y, Vill\u00e9ger A, Boyd S, Calzone L, Courtot M, Dogrusoz U, Freeman T, Funahashi A, Ghosh S, Jouraku S, Kim S, Kolpakov F, Luna A, Sahle S, Schmidt E, Watterson S, Wu G, Goryanin I, Kell D, Sander C, Sauro H, Snoep J, Kohn K, Kitano H. (2009) The systems biology graphical notation. Nat Biotechnol, 27(8):735\u2013742.","journal-title":"Nat Biotechnol"},{"key":"22_CR25_22","unstructured":"MH Saier J, Ramseier T, Reizer J. (1996) Regulation of Carbon Utilization. In Escherichia coli and Salmonella: Cellular and Molecular Biology, 2nd ed. Edited by Neidhardt et al., ASM Press, Washington, DC, 1325\u20131343."},{"key":"22_CR26_22","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1111\/j.1365-2958.1996.tb02652.x","volume":"22","author":"G Gonzalez-Gil","year":"1996","unstructured":"Gonzalez-Gil G, Bringmann P, Kahmann R: Fis is a regulator of metabolism in Escherichia coli. Mol. Microbiol. 1996, 22:21\u201329.","journal-title":"Mol. Microbiol."},{"issue":"13","key":"22_CR27_22","doi-asserted-by":"crossref","first-page":"3077","DOI":"10.1002\/j.1460-2075.1994.tb06606.x","volume":"13","author":"H Ishizuka","year":"1994","unstructured":"Ishizuka H, Hanamura A, Inada T, Aiba H. (1994) Mechanism of the down-regulation of cAMP receptor protein by glucose in Escherichia coli: role of autoregulation of the crp gene. EMBO J, 13(13):3077\u20133082.","journal-title":"EMBO J."},{"issue":"20","key":"22_CR28_22","doi-asserted-by":"crossref","first-page":"6361","DOI":"10.1128\/JB.181.20.6361-6370.1999","volume":"181","author":"TA Azam","year":"1999","unstructured":"Azam TA, Iwata A, Nishimura A, Ueda S, Ishihama A. (1999) Growth phase dependent variation in protein composition of the Escherichia coli nucleoid. J Bacteriol, 181(20):6361\u20136370.","journal-title":"J. Bacteriol."},{"issue":"2","key":"22_CR29_22","first-page":"301","volume":"66","author":"H de Jong","year":"2004","unstructured":"de Jong H, Gouz\u00e9 JL, Hernandez C, Page M, Sari T, Geiselmann J. (2004) Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull Math Biol, 66(2):301\u2013340.","journal-title":"Geiselmann J: Qualitative simulation of genetic regulatory networks using piecewise- linear models. Bull. Math. Biol."},{"key":"22_CR30_22","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incom- plete Knowledge","author":"B Kuipers","year":"1994","unstructured":"Kuipers B. (1994) Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge, MA."},{"issue":"3","key":"22_CR31_22","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s00285-005-0360-4","volume":"52","author":"E Farcot","year":"2006","unstructured":"Farcot E. (2006) Geometric properties of a class of piecewise affine biological network models. J Math Biol, 52(3):373\u2013418.","journal-title":"J. Math. Biol."},{"key":"22_CR32_22","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke E, Grumberg O, Peled D. (1999) Model Checking. MIT Press, Boston, MA."},{"issue":"Suppl 1","key":"22_CR33_22","doi-asserted-by":"publisher","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G Batt","year":"2005","unstructured":"Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, Page M, Schneider D. (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21(Suppl 1):i19\u2013i28.","journal-title":"Bioinformatics"},{"key":"22_CR34_22","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1186\/1471-2105-10-450","volume":"10","author":"P Monteiro","year":"2009","unstructured":"Monteiro P, Dumas E, Besson B, Mateescu R, Page M, Freitas A, de Jong H. (2009) A service-oriented architecture for integrating the modeling and verification of genetic regulatory networks. BMC Bioinform, 10:450.","journal-title":"BMC Bioinform."},{"key":"22_CR35_22","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke EM, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A. (2002) NuSMV2: An OpenSource Tool for Symbolic Model Checking. In Proc. 14th Intl. Conf. Computer Aided Verification (CAV 2002), Volume 2404 of LNCS. Edited by Brinksma D, Larsen K, Springer-Verlag, Berlin, 359\u2013364.","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"24","key":"22_CR36_22","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, Singhal M, Xu L, Mendes P, Kummer U. (2006) COPASI \u2013 a COmplex PAthway SImulator. Bioinformatics, 22(24): 3067\u20133074.","journal-title":"Bioinformatics"},{"issue":"8","key":"22_CR37_22","doi-asserted-by":"publisher","first-page":"3841","DOI":"10.1091\/mbc.E03-11-0794","volume":"15","author":"K Chen","year":"2004","unstructured":"Chen K, Calzone L, Csikasz-Nagy A, Cross F, Novak B, Tyson J. (2004) Integrative analysis of cell cycle control in budding yeast. Mol Biol Cell, 15(8):3841\u20133862.","journal-title":"Mol. Biol. Cell"},{"key":"22_CR38_22","doi-asserted-by":"publisher","first-page":"7328","DOI":"10.1073\/pnas.88.16.7328","volume":"88","author":"J Tyson","year":"1991","unstructured":"Tyson J. (1991) Modeling the cell division cycle: cdc2 and cyclin interactions. Proc Natl Acad Sci U S A, 88:7328\u20137332.","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"3\u20134","key":"22_CR39_22","first-page":"189","volume":"4","author":"E Snoussi","year":"1989","unstructured":"Snoussi E. (1989) Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach. Dynam Stab Syst, 4(3\u20134):189\u2013207.","journal-title":"Dyn. Stab. Syst."},{"issue":"4","key":"22_CR40_22","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s002850050103","volume":"36","author":"E Plahte","year":"1998","unstructured":"Plahte E, Mestl T, Omholt S. (1998) A methodological basis for description and analysis of systems with complex switch-like interactions. J Math Biol, 36(4):321\u2013348.","journal-title":"J. Math. Biol."},{"issue":"3","key":"22_CR41_22","first-page":"339","volume":"229","author":"G Bernot","year":"2004","unstructured":"Bernot G, Comet JP, Richard A, Guespin J. (2004) Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. J Theor Biol, 229(3): 339\u2013348.","journal-title":"Guespin J: Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol."}],"container-title":["Methods in Molecular Biology","Bacterial Molecular Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-61779-361-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T20:49:09Z","timestamp":1676753349000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-61779-361-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,28]]},"ISBN":["9781617793608","9781617793615"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-1-61779-361-5_22","relation":{},"ISSN":["1064-3745","1940-6029"],"issn-type":[{"value":"1064-3745","type":"print"},{"value":"1940-6029","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10,28]]},"assertion":[{"value":"28 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}