{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T10:40:08Z","timestamp":1736592008537,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540461661"},{"type":"electronic","value":"9783540461678"}],"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\/11885191_9","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T14:53:49Z","timestamp":1160405629000},"page":"127-141","source":"Crossref","is-referenced-by-count":19,"title":["Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets"],"prefix":"10.1007","author":[{"given":"L. J.","family":"Steggles","sequence":"first","affiliation":[]},{"given":"Richard","family":"Banks","sequence":"additional","affiliation":[]},{"given":"Anil","family":"Wipat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Akutsu, T., Miyano, S., Kuhara, S.: Identification of genetic networks from small number of gene expression patterns under the Boolean network model. In: Proceedings of Pacific Symp. on Biocomputing, vol.\u00a04, pp. 17\u201328 (1999)","DOI":"10.1142\/9789814447300_0003"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"19","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.: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics\u00a021, i19\u2013i28 (2005)","journal-title":"Bioinformatics"},{"key":"9_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2018.001.0001","volume-title":"Computational Modelling of Genetic and Biochemical Networks","author":"J.M. Bower","year":"2001","unstructured":"Bower, J.M., Bolouri, H.: Computational Modelling of Genetic and Biochemical Networks. MIT Press, Cambridge (2001)"},{"key":"9_CR4","volume-title":"Digital Design Fundamentals","author":"K.J. Breeding","year":"1992","unstructured":"Breeding, K.J.: Digital Design Fundamentals. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"9_CR5","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":"9_CR6","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)"},{"issue":"2-3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Model checking using net unfoldings. Science of Computer Programming\u00a023(2-3), 151\u2013195 (1994)","journal-title":"Science of Computer Programming"},{"key":"9_CR8","first-page":"1","volume-title":"Proc. of the 8th Int. Conf. on Artificial Life","author":"C. Gershenson","year":"2002","unstructured":"Gershenson, C.: Classification of random boolean networks. In: Standish, R.K., et al. (eds.) Proc. of the 8th Int. Conf. on Artificial Life, pp. 1\u20138. MIT Press, Cambridge (2002)"},{"issue":"12","key":"9_CR9","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 modelling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences of the United States of America\u00a095(12), 6750\u20136755 (1998)","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"9_CR10","volume-title":"Discrete Mathematics for Computing","author":"P. Grossman","year":"2002","unstructured":"Grossman, P.: Discrete Mathematics for Computing, 2nd edn. Palgrave MacMillan, Basingstoke (2002)","edition":"2"},{"key":"9_CR11","unstructured":"Heiner, M., Koch, I., Voss, K.: Analysis and simulation of steady states in metabolic pathways with Petri nets. In: Jensen, K. (ed.) Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2001), pp. 15\u201334. Aarhus University (2001)"},{"issue":"1-3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.biosystems.2004.03.003","volume":"75","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I., Will, J.: Model validation of biological pathways using Petri nets \u2013 demonstrated for apoptosis. Biosystems\u00a075(1-3), 15\u201328 (2004)","journal-title":"Biosystems"},{"key":"9_CR13","unstructured":"Hengge-Aronis, R.: The general stress response in Escherichia coli. In: Storz, G., Hengge-Aronis, R. (eds.) Bacterial Stress Responses, pp. 161\u2013178. ASM Press (2000)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s001099900023","volume":"77","author":"S. Huang","year":"1999","unstructured":"Huang, S.: Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery. Journal of Molecular Medicine\u00a077, 469\u2013480 (1999)","journal-title":"Journal of Molecular Medicine"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. Ph. D. Thesis, School of Computing Science, University of Newcastle upon Tyne (2003)","DOI":"10.1007\/s00236-003-0122-y"},{"issue":"1-2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.physa.2004.04.080","volume":"342","author":"B. Luque","year":"2004","unstructured":"Luque, B., Ballesteros, F.J.: Random Walk Networks. Physica A: Statistical Mechanics and its Applications\u00a0342(1-2), 207\u2013213 (2004)","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"key":"9_CR17","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Pacific Symposium on Biocomputing, vol. 5, pp. 338\u2013349 (2000)"},{"issue":"4","key":"9_CR18","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. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"9_CR19","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. Computers in Biology and Medicine\u00a026(1), 9\u201324 (1996)","journal-title":"Computers in Biology and Medicine"},{"key":"9_CR20","unstructured":"Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, J.: Qualitative Simulation of the Nutritional Stress Response in Escherichia coli. INRIA, Rapport de Reacherche no. 5412 (December 2004)"},{"key":"9_CR21","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets, An Introduction. In: Brauer, W., et al. (eds.) EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1985)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65307-4","volume-title":"Lectures on Petri Nets I: Basic Models","author":"W. Reisig","year":"1998","unstructured":"Reisig, W., Rozenberg, G.: APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"issue":"18","key":"9_CR23","doi-asserted-by":"publisher","first-page":"3638","DOI":"10.1093\/bioinformatics\/bth395","volume":"20","author":"O.J. Shaw","year":"2004","unstructured":"Shaw, O.J., Harwood, C., Wipat, A., Steggles, L.J.: SARGE: A tool for creation of putative genetic networks. Bioinformatics\u00a020(18), 3638\u20133640 (2004)","journal-title":"Bioinformatics"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2006.03.015","volume":"151","author":"O.J. Shaw","year":"2006","unstructured":"Shaw, O.J., Steggles, L.J., Wipat, A.: Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. Electronic Notes in Theoretical Computing Science\u00a0151(3), 111\u2013129 (2006)","journal-title":"Electronic Notes in Theoretical Computing Science"},{"key":"9_CR25","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E. Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o, 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":"Coli. Bioinformatics"},{"issue":"12","key":"9_CR26","doi-asserted-by":"crossref","first-page":"3273","DOI":"10.1091\/mbc.9.12.3273","volume":"9","author":"P.T. Spellman","year":"1998","unstructured":"Spellman, P.T., Sherlock, G., Zhang, M.Q., Iyer, V.R., Anders, K., Eisen, M.B., Brown, P.O., Botstein, D., Futcher, B.: Comprehensive identification of cell cycle-regulated genes of the yeast Saccharomyces cerevisiae by microarray hybridization. Molecular Biology of the Cell\u00a09(12), 3273\u20133297 (1998)","journal-title":"Molecular Biology of the Cell"},{"key":"9_CR27","unstructured":"Szallasi, Z., Liang, S.: Modeling the Normal and Neoplastic Cell Cycle with \u201cRealistic Boolean Genetic Networks\u201d: Their Application for Understanding Carcinogenesis and Assessing Therapeutic Strategies. In: Pacific Symposium on Biocomputing, vol.\u00a03, pp. 66\u201376 (1998)"},{"key":"9_CR28","unstructured":"Petri nets World (2006), http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/"},{"key":"9_CR29","unstructured":"PEP Home Page (2006), http:\/\/parsys.informatik.uni-oldenburg.de\/~pep\/"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11885191_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T09:28:00Z","timestamp":1736587680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11885191_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540461661","9783540461678"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11885191_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}