{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T05:52:33Z","timestamp":1790920353376,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540263012","type":"print"},{"value":"9783540315599","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_13","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"208-227","source":"Crossref","is-referenced-by-count":18,"title":["Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets"],"prefix":"10.1007","author":[{"given":"Jean-Paul","family":"Comet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Liauzu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1517\/14622416.2.3.203","volume":"2","author":"S. Huang","year":"2001","unstructured":"Huang, S.: Genomics, complexity and drug discovery: insights from boolean network models of cellular regulation. Pharmacogenomics.\u00a02, 203\u2013222 (2001)","journal-title":"Pharmacogenomics."},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1093\/bib\/2.3.258","volume":"2","author":"O. Wolkenhauer","year":"2001","unstructured":"Wolkenhauer, O.: Systems biology: the reincarnation of systems theory applied in biology? Brief Bioinform.\u00a02, 258\u2013270 (2001)","journal-title":"Brief Bioinform."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature\u00a0420, 206\u2013210 (2002)","journal-title":"Nature"},{"key":"13_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.J.: Engineered gene circuits. Nature\u00a0420, 224\u2013230 (2002)","journal-title":"Nature"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00294-002-0285-z","volume":"41","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology. Curr. Genet.\u00a041, 1\u201310 (2002)","journal-title":"Curr. Genet."},{"key":"13_CR6","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.M., 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":"13_CR7","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/0022-5193(78)90127-3","volume":"73","author":"R. Thomas","year":"1978","unstructured":"Thomas, R.: Logical analysis of systems comprising feedback loops. J. Theor. Biol.\u00a073, 631\u2013656 (1978)","journal-title":"J. Theor. Biol."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1080\/02681118908806072","volume":"4","author":"E.H. Snoussi","year":"1989","unstructured":"Snoussi, E.H.: 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":"13_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0022-5193(87)80009-7","volume":"129","author":"M. Kaufman","year":"1987","unstructured":"Kaufman, M., Thomas, R.: Model analysis of the bases of multistationarity in the humoral immune response. J. Theor. Biol.\u00a0129, 141\u2013162 (1987)","journal-title":"J. Theor. Biol."},{"key":"13_CR10","doi-asserted-by":"crossref","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":"13_CR11","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 & II. Chaos\u00a011, 170\u2013195 (2001)","journal-title":"Chaos"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1142\/S0218339095000526","volume":"3","author":"E. Plathe","year":"1995","unstructured":"Plathe, E., Mestl, T., Omholt, S.W.: Feedback loops, stability and multistationarity in dynamical systems. J. Biol. Syst.\u00a03, 569\u2013577 (1995)","journal-title":"J. Biol. Syst."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0218339098000042","volume":"6","author":"E.H. Snoussi","year":"1998","unstructured":"Snoussi, E.H.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst.\u00a06, 3\u20139 (1998)","journal-title":"J. Biol. Syst."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1006\/jtbi.2002.2544","volume":"216","author":"O. Cinquin","year":"2002","unstructured":"Cinquin, O., Demongeot, J.: Positive and negative feedback: striking a balance between necessary antagonists. J. Theor. Biol.\u00a0216, 229\u2013241 (2002)","journal-title":"J. Theor. Biol."},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1159\/000076100","volume":"1","author":"C. Soul\u00e9","year":"2003","unstructured":"Soul\u00e9, C.: Graphical requirements for multistationarity. ComPlexUs\u00a01, 123\u2013133 (2003)","journal-title":"ComPlexUs"},{"key":"13_CR16","doi-asserted-by":"crossref","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. Bull. Math. Biol.\u00a057, 247\u2013276 (1995)","journal-title":"Bull. Math. Biol."},{"key":"13_CR17","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. P\u00e9r\u00e8s","year":"2003","unstructured":"P\u00e9r\u00e8s, 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":"13_CR18","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic. J. Theor. Biol.\u00a0229, 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1014294120243","volume":"49","author":"J. Guespin-Michel","year":"2001","unstructured":"Guespin-Michel, J., Kaufman, M.: Positive feedback circuits and adaptive regulations in bacteria. Acta Biotheor.\u00a049, 207\u2013218 (2001)","journal-title":"Acta Biotheor."},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27793-4_9","volume-title":"Applications and Theory of Petri Nets 2004","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: From logical regulatory graphs to standard petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 137\u2013156. Springer, Heidelberg (2004)"},{"key":"13_CR21","doi-asserted-by":"crossref","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":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/3-540-48068-4_25","volume-title":"Application and Theory of Petri Nets 2002","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"M\u00e4kel\u00e4, M.: Maria: Modular reachability analyser for algebraic system nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 434\u2013444. Springer, Heidelberg (2002)"},{"key":"13_CR23","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: GINML: towards a GXL based format for logical regulatory networks and dynamical graphs (2003), \n                    \n                      http:\/\/www.esil.univ-evry.fr\/~chaouiya\/GINsim\/ginml.html"},{"key":"13_CR24","unstructured":"Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., M\u00fcller, Roux, O.: Semantics of biological regulatory networks. In: Biology BioConcur 2003 (2003)"},{"key":"13_CR25","unstructured":"Pommereau, F.: Mod\u00e8les composables et concurrents pour le temps-r\u00e8el. PhD thesis, Universit\u00e8 Paris 12 (2002)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-46674-6_17","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"H. Klaudel","year":"1999","unstructured":"Klaudel, H., Pommereau, F.: Asynchronous links in the PBC and M-nets. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol.\u00a01742, pp. 190\u2013200. Springer, Heidelberg (1999)"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V. Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of petri net unfoldings. Acta Informatica\u00a040, 95\u2013118 (2003)","journal-title":"Acta Informatica"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1007\/3-540-49253-4_37","volume-title":"Algebraic Methodology and Software Technology","author":"B. Grahlman","year":"1998","unstructured":"Grahlman, B.: The state of PEP. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 522\u2013526. Springer, Heidelberg (1998)"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA: a low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"13_CR30","unstructured":"Varpaaniemi, K., Halme, J., Hiekkanen, K., Pyssysalo, T.: Prod: reference manual. Technical Report B13, Helsinki University of Technology, Finland (1995)"},{"key":"13_CR31","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: a reimplementation of smv. In: STTT 1998. BRICS Notes Series, NS-98-4, pp. 25\u201331 (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:39:13Z","timestamp":1619505553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11494744_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}