{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T17:10:52Z","timestamp":1790788252824,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540457794","type":"print"},{"value":"9783540462361","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880646_5","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T09:13:44Z","timestamp":1163754824000},"page":"95-112","source":"Crossref","is-referenced-by-count":19,"title":["Qualitative Petri Net Modelling of Genetic Networks"],"prefix":"10.1007","author":[{"given":"Claudine","family":"Chaouiya","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisabeth","family":"Remy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Denis","family":"Thieffry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a0C-35, 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework. LNCIS, vol.\u00a0294, pp. 119\u2013126 (2003)","DOI":"10.1007\/978-3-540-44928-7_17"},{"key":"5_CR3","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, \u00c9., 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":"5_CR4","volume-title":"Proc. of CompBioNets 2004","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri Net Modelling of Biological Regulatory Networks. In: Proc. of CompBioNets 2004. KCL publications, London (2004)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11494744_13","volume-title":"Applications and Theory of Petri Nets 2005","author":"J.-P. Comet","year":"2005","unstructured":"Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 208\u2013227. Springer, Heidelberg (2005)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. J. Comput. Biol.\u00a09, 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1016\/S0092-8240(03)00061-2","volume":"65","author":"V. Devloo","year":"2003","unstructured":"Devloo, V., Hansen, P., Labbe, M.: Identification of all steady states in large networks by logical analysis. Bull. Math. Biol.\u00a065, 1025\u20131051 (2003)","journal-title":"Bull. Math. Biol."},{"key":"5_CR8","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.A.: The logical analysis of continuous, non-linear biochemical control networks. J. theor. Biol.\u00a039, 103\u2013129 (1973)","journal-title":"J. theor. Biol."},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2005.10.003","volume":"84","author":"A.G. Gonzalez","year":"2006","unstructured":"Gonzalez, A.G., Naldi, A., S\u00e1nchez, L., Thieffry, D., Chaouiya, C.: GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems\u00a084(2), 91\u2013100 (2006)","journal-title":"Biosystems"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P.J.E. Goss","year":"1998","unstructured":"Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc. Nat. Acad. Sci. USA.\u00a095, 6750\u20136755 (1998)","journal-title":"Proc. Nat. Acad. Sci. USA."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S. Hardy","year":"2004","unstructured":"Hardy, S., Robillard, P.N.: Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches. J. Bioinform. Comput. Biol.\u00a02, 595\u2013613 (2004)","journal-title":"J. Bioinform. Comput. Biol."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-27793-4_13","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I.: Petri Net Based Model Validation in Systems Biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 216\u2013237. Springer, Heidelberg (2004)"},{"key":"5_CR13","first-page":"39","volume":"1","author":"R. Hofest\u00e4dt","year":"1998","unstructured":"Hofest\u00e4dt, R., Thelen, S.: Quantitative Modeling of Biochemical Networks. Silico Biol.\u00a01, 39\u201353 (1998)","journal-title":"Silico Biol."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","volume-title":"A Decade of Concurrency","author":"K. Jensen","year":"1994","unstructured":"Jensen, K.: An introduction to the theoretical aspects of coloured Petri nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 230\u2013272. Springer, Heidelberg (1994)"},{"key":"5_CR15","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory networks. In: Proc. Pac. Symp. Biocomput., pp. 341\u2013352 (2000)"},{"issue":"2","key":"5_CR16","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L. Mendoza","year":"2006","unstructured":"Mendoza, L.: A network model for the control of the differentiation process in Th cells. Biosystems\u00a084(2), 101\u2013114 (2006)","journal-title":"Biosystems"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V.N. Reddy","year":"1996","unstructured":"Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Comput. Biol. Med.\u00a026, 9\u201324 (1996)","journal-title":"Comput. Biol. Med."},{"key":"5_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/11905455_3","volume-title":"Transactions on Computational Systems Biology VII","author":"\u00c9. Remy","year":"2006","unstructured":"Remy, \u00c9., Ruet, P., Mendoza, L., Thieffry, D., Chaouiya, C.: From logical regulatory graphs to standard petri nets: Dynamical roles and functionality of feedback circuits. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 56\u201372. Springer, Heidelberg (2006)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E. Simao","year":"2005","unstructured":"Simao, E., Remy, E., Thieffry, D., Chaouiya, C.: Qualitative Modelling of Regulated Metabolic Pathways: Application to the Tryptophan Biosynthesis in E. Coli. Bioinformatics\u00a021, 190\u2013196 (2005)","journal-title":"Bioinformatics"},{"key":"5_CR21","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":"5_CR22","first-page":"247","volume":"57","author":"R. Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks\u2013I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol.\u00a057, 247\u2013276 (1995)","journal-title":"Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol."},{"key":"5_CR23","first-page":"29","volume":"3","author":"I. Zevedei-Oancea","year":"2003","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. Silico Biol.\u00a03, 0029 (2003)","journal-title":"Silico Biol."},{"key":"5_CR24","unstructured":"INA: Integrated Net Analyzer URL: \n                  \n                    http:\/\/www.informatik.hu-berlin.de\/lehrstuehle\/automaten\/ina\/"},{"key":"5_CR25","unstructured":"GINsim (Gene Interaction Network simulation), URL \n                  \n                    http:\/\/gin.univ-mrs.fr\/GINsim"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880646_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:58:21Z","timestamp":1558288701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880646_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457794","9783540462361"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11880646_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}