{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:14:45Z","timestamp":1768907685221,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540253754","type":"print"},{"value":"9783540259749","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_6","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:23:04Z","timestamp":1267107784000},"page":"58-72","source":"Crossref","is-referenced-by-count":4,"title":["Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States"],"prefix":"10.1007","author":[{"given":"Adrien","family":"Richard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Comet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Bernot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"7865","DOI":"10.1073\/pnas.97.14.7865","volume":"97","author":"A. Sveiczer","year":"2000","unstructured":"Sveiczer, A., Csikasz-Nagy, A., Gyorffy, B., Tyson, J., Novak, B.: Modeling the fission yeast cell cycle: quantized cycle times in wee1- cdc25delta mutant cells. Proc. Natl. Acad. Sci. U S A.\u00a097, 7865\u20137870 (2000)","journal-title":"Proc. Natl. Acad. Sci. U S A."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1091\/mbc.11.1.369","volume":"11","author":"K.C. Chen","year":"2000","unstructured":"Chen, K.C., Csikasz-Nagy, A., Gyorffy, B., Val, J., Novak, B., Tyson, J.: Kinetic analysis of a molecular model of the budding yeast cell cycle. Mol. Biol. Cell.\u00a011, 369\u2013391 (2000)","journal-title":"Mol. Biol. Cell."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1006\/jtbi.2001.2293","volume":"210","author":"J. Tyson","year":"2001","unstructured":"Tyson, J., Novak, B.: Regulation of the eukaryotic cell cycle: molecular antagonism, hysteresis, and irreversible transitions. J. Theor. Biol.\u00a0210, 249\u2013263 (2001)","journal-title":"J. Theor. Biol."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1038\/nature01257","volume":"420","author":"J. Hasty","year":"2002","unstructured":"Hasty, J., McMillen, D., Collins, J.: Engineered gene circuits. Nature\u00a0420, 224\u2013230 (2002)","journal-title":"Nature"},{"key":"6_CR5","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R. Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. Theor. Biol.\u00a0153, 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1063\/1.1350439","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. structural conditions of multistationarity and other nontrivial behavior. Chaos\u00a011, 170\u2013179 (2001)","journal-title":"Chaos"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos\u00a011, 180\u2013195 (2001)","journal-title":"Chaos"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/02681118908806072","volume":"4","author":"E. Snoussi","year":"1989","unstructured":"Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dynamics and stability of Systems\u00a04, 189\u2013207 (1989)","journal-title":"Dynamics and stability of Systems"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"E. Snoussi","year":"1993","unstructured":"Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop caracteristic states. Bull. Math. Biol.\u00a055, 973\u2013991 (1993)","journal-title":"Bull. Math. Biol."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R. Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks - I. biological role of feedback loops an practical use of the concept of the loop-characteristic state. Bull. Math. Biol.\u00a057, 247\u2013276 (1995)","journal-title":"Bull. Math. Biol."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-36481-1_5","volume-title":"Computational Methods in Systems Biology","author":"S. Peres","year":"2003","unstructured":"Peres, S., Comet, J.-P.: Contribution of computational tree logic to biological regulatory networks: Example from pseudomonas aeruginosa. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 47\u201356. Springer, Heidelberg (2003)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: A Fruitful Application of Formal Methods to Biological Regulatory Networks, extending Thomas\u2019 asynchronous logical approach with temporal logic. J. Theor. Biol. (in press, 2004)","DOI":"10.1016\/j.jtbi.2004.04.003"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Guespin, J., Bernot, G., Comet, J.P., Mriau, A., Richard, A., Hulen, C., Polack, B.: Epigenesis and dynamic similarity in two regulatory networks in pseudomonas aeruginosa. Acta Biotheoretica (in press, 2004)","DOI":"10.1023\/B:ACBI.0000046604.18092.a7"},{"key":"6_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7793-9","volume-title":"Differential Equations with Discontinuous Righthand Sides","author":"A. Filippov","year":"1988","unstructured":"Filippov, A.: Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"6_CR16","unstructured":"Richard, A., Comet, J.P., Bernot, G.: SMBioNet: Selection of Models of Biological Networks, https:\/\/2.zoppoz.workers.dev:443\/http\/smbionet.lami.univ-evry.fr"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"1148","DOI":"10.1002\/bbpc.19940980916","volume":"98","author":"R. Thomas","year":"1994","unstructured":"Thomas, R.: The role of feedback circuits: positive feedback circuits are a necessary condition for positive real eigenvalues of the Jacobian matrix. Ber. Bunsenges. Phys. Chem.\u00a098, 1148\u20131151 (1994)","journal-title":"Ber. Bunsenges. Phys. Chem."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1142\/S0218339095000526","volume":"3","author":"E. Plahte","year":"1995","unstructured":"Plahte, E., Mestl, T., Omholt, S.W.: Feedback loop, stability and multistationarity in dynamical systems. J. Biol. Syst.\u00a03, 569\u2013577 (1995)","journal-title":"J. Biol. Syst."},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1142\/S0218339098000030","volume":"6","author":"J. Demongeot","year":"1998","unstructured":"Demongeot, J.: Multistationarity and cell differentiation. J. Biol. Syst.\u00a06, 11\u201315 (1998)","journal-title":"J. Biol. Syst."},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0218339098000042","volume":"6","author":"E. Snoussi","year":"1998","unstructured":"Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst.\u00a06, 3\u20139 (1998)","journal-title":"J. Biol. Syst."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Soul\u00e9, C.: Graphic requirements for multistationarity. ComPlexUs\u00a01 (2003)","DOI":"10.1159\/000076100"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1093\/bioinformatics\/14.1.81","volume":"14","author":"K.R. Heidtke","year":"1998","unstructured":"Heidtke, K.R., Schulze-Kremer, S.: Design and implementation of a qualitative simulation model of \u03bb phage infection. Bioinformatics\u00a014, 81\u201391 (1998)","journal-title":"Bioinformatics"},{"key":"6_CR24","first-page":"85","volume-title":"Proceedings of the 6th International Conference in Intelligent Systems for Molecular Biology","author":"K.R. Heidtke","year":"1998","unstructured":"Heidtke, K.R., Schulze-Kremer, S.: BioSim: A New Qualitative Simulation Environment for Molecular Biology. In: Proceedings of the 6th International Conference in Intelligent Systems for Molecular Biology, pp. 85\u201394. AAAI Press, Menlo Park (1998)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H. Jong De","year":"2003","unstructured":"De Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics\u00a019, 336\u2013344 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a computation tools based an a discrete formal framwork. Lecture Notes on Control and Information Sciences (accepted, 2003)","DOI":"10.1007\/978-3-540-44928-7_17"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical networks. Theoretical Computer Science (to appear, 2004)","DOI":"10.1016\/j.tcs.2004.03.063"},{"key":"6_CR28","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - ii. immunity control in bacteriophage lambda. Bull. Math. Biol.\u00a057, 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1111\/j.1432-1033.1976.tb11108.x","volume":"71","author":"R. Thomas","year":"1976","unstructured":"Thomas, R., Gathoye, A., Lambert, L.: A complex control circuit. regulation of immunity in temperate bacteriophages. Eur. J. Biochem.\u00a071, 211\u2013227 (1976)","journal-title":"Eur. J. Biochem."},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1006\/jtbi.1997.0523","volume":"189","author":"L. S\u00e1nchez","year":"1997","unstructured":"S\u00e1nchez, L., van Helden, J., Thieffry, D.: Establishement of the dorso-ventral pattern during embryonic development of drosophila melanogaster: a logical analysis. J. Theor. Biol.\u00a0189, 377\u2013389 (1997)","journal-title":"J. Theor. Biol."},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/jtbi.2001.2335","volume":"211","author":"L. S\u00e1nchez","year":"2001","unstructured":"S\u00e1nchez, L., Thieffry, D.: A logical analysis of the drosophila gap-gene system. J. Theor. Biol.\u00a0211, 115\u2013141 (2001)","journal-title":"J. Theor. Biol."},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1093\/bioinformatics\/15.7.593","volume":"15","author":"L. Mendoza","year":"1999","unstructured":"Mendoza, L., Thieffry, D., Alvarez-Buylla, E.: Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis. Bioinformatics\u00a015, 593\u2013606 (1999)","journal-title":"Bioinformatics"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Bassano, V., Bernot, G.: Marked regulatory graphs: A formal framework to simulate biological regulatory networks with simple automata. In: Proc. of the 14th IEEE International Workshop on Rapid System Prototyping, RSP 2003, San Diego, California, USA (2003)","DOI":"10.1109\/IWRSP.2003.1207035"},{"key":"6_CR34","unstructured":"Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., M\u00fcller, C., Roux, O., Roux, O.H.: Semantics of Biological Regulatory Networks. In: BioConcur, Workshop on Concurrent Models in Molecular Biology. ENTCS series (2003)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25974-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:48:20Z","timestamp":1558856900000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-540-25974-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":34,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-540-25974-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}