{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:16:17Z","timestamp":1738300577633,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540684107"},{"type":"electronic","value":"9783540684138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_4","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"48-62","source":"Crossref","is-referenced-by-count":9,"title":["Design Issues for Qualitative Modelling of Biological Cells with Petri Nets"],"prefix":"10.1007","author":[{"given":"Elzbieta","family":"Krepska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Bonzanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Feenstra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thilo","family":"Kielmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Bal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaap","family":"Heringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alon, U.: An Introduction to Systems Biology: Design Principles of Biological Circuits. Chapman & Hall\/CRC (2006)","DOI":"10.1201\/9781420011432"},{"issue":"4","key":"4_CR2","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/s100090100058","volume":"3","author":"H. Genrich","year":"2001","unstructured":"Genrich, H., K\u00fcffner, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. International Journal on Software Tools for Technology Transfer (STTT)\u00a03(4), 394\u2013404 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"4_CR3","unstructured":"E-Cell, http:\/\/www.e-cell.org"},{"issue":"25","key":"4_CR4","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1006\/jtbi.2002.3078","volume":"218","author":"R. Srivastava","year":"2002","unstructured":"Srivastava, R., You, L., Summers, J., Yin, J.: Stochastic vs. deterministic modeling of intracellular viral kinetics. Journal of Theoretical Biology\u00a0218(3), 309\u2013321 (2002)","journal-title":"Journal of Theoretical Biology"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A. Sackmann","year":"2006","unstructured":"Sackmann, A., Heiner, M., Koch, I.: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics\u00a07, 482 (2006)","journal-title":"BMC Bioinformatics"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C. Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics\u00a08(4), 210\u2013219 (2007)","journal-title":"Briefings in Bioinformatics"},{"key":"4_CR8","unstructured":"Wormbook, http:\/\/www.wormbook.org"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V. Reddy","year":"1996","unstructured":"Reddy, V., Mavrovouniotis, M., Liebman, M.: Qualitative analysis of biochemical reaction system. Computers in Biology and Medicine\u00a026(1), 9\u201324 (1996)","journal-title":"Computers in Biology and Medicine"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1371\/journal.pcbi.0030092","volume":"3","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.A.: Predictive modeling of signaling crosstalk during C.\u00a0elegans vulval development. PLoS Computational Biology\u00a03(5), 92 (2007)","journal-title":"PLoS Computational Biology"},{"key":"4_CR11","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut f\u00fcr Instrumentelle Mathematik, Bonn (1962)"},{"issue":"4","key":"4_CR12","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"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11603047_20","volume-title":"Membrane Computing","author":"J.H. Kleijn","year":"2006","unstructured":"Kleijn, J.H., Koutny, M., Rozenberg, G.: Towards a Petri net semantics for membrane systems. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 292\u2013309. Springer, Heidelberg (2006)"},{"key":"4_CR14","unstructured":"Distributed ASCI Supercomputer DAS-3, http:\/\/www.cs.vu.nl\/das3"},{"key":"4_CR15","unstructured":"Petri Net Markup Language, http:\/\/www.informatik.hu-berlin.de\/top\/pnml"},{"key":"4_CR16","unstructured":"TINA, http:\/\/www.laas.fr\/tina"},{"key":"4_CR17","unstructured":"Fisher, J., Henzinger, T.A., Mateescu, M., Piterman, N.: Bounded asynchrony: A biologically inspired notion of concurrency. Technical report, MTC (2007)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11925040_2","volume-title":"Leveraging Applications of Formal Methods","author":"D. Clarke","year":"2006","unstructured":"Clarke, D., Costa, D., Arbab, F.: Modelling coordination in biological systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 9\u201325. Springer, Heidelberg (2006)"},{"issue":"7","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1093\/bioinformatics\/bti145","volume":"21","author":"I. Koch","year":"2005","unstructured":"Koch, I., Junker, B.H., Heiner, M.: Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics\u00a021(7), 1219\u20131226 (2005)","journal-title":"Bioinformatics"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s12038-007-0011-6","volume":"32","author":"C. Li","year":"2007","unstructured":"Li, C., Ge, Q.W., Nakata, M., Matsuno, H., Miyando, S.: Modelling and simulation of signal transductions in an apoptosis pathway by using timed Petri nets. Journal of Biosciences\u00a032, 113\u2013127 (2007)","journal-title":"Journal of Biosciences"},{"issue":"12","key":"4_CR21","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P. Goss","year":"1998","unstructured":"Goss, P., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences of the United States of America (PNAS)\u00a095(12), 6750\u20136755 (1998)","journal-title":"Proceedings of the National Academy of Sciences of the United States of America (PNAS)"},{"key":"4_CR22","unstructured":"KEGG, http:\/\/www.genome.jp\/kegg"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1002\/bit.1171","volume":"75","author":"R. Srivastava","year":"2001","unstructured":"Srivastava, R., Peterson, M.S., Bentley, W.E.: Stochastic kinetic analysis of the Escherichia coli stress circuit using \u03c3-32-targeted antisense. Biotechnology and Bioengineering\u00a075(1), 120\u2013129 (2001)","journal-title":"Biotechnology and Bioengineering"},{"key":"4_CR24","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Proceedings of Pacific Symposium on Biocomputing, vol.\u00a05, pp. 341\u2013352 (2000)"},{"key":"4_CR25","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/ISB-00006","volume":"6","author":"R. Hofest\u00e4dt","year":"1998","unstructured":"Hofest\u00e4dt, R., Thelen, S.: Quantitative modeling of biochemical networks. In Silico Biology\u00a06, 39\u201353 (1998)","journal-title":"In Silico Biology"},{"issue":"11","key":"4_CR26","doi-asserted-by":"publisher","first-page":"3166","DOI":"10.1093\/ietfec\/e89-a.11.3166","volume":"E89-A","author":"H. Matsuno","year":"2006","unstructured":"Matsuno, H., Li, C., Miyano, S.: Petri net based descriptions for systematic understanding of biological pathways. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science\u00a0E89-A(11), 3166\u20133174 (2006)","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science"},{"issue":"2","key":"4_CR27","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.\u00a0Coli. Bioinformatics\u00a021(2), 190\u2013196 (2005)","journal-title":"Bioinformatics"},{"key":"4_CR28","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11885191_9","volume-title":"Computational Methods in Systems Biology","author":"L. Steggles","year":"2006","unstructured":"Steggles, L., Banks, R., Wipat, A.: Modelling and analysing genetic networks: From Boolean networks to Petri nets. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 127\u2013141. Springer, Heidelberg (2006)"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M. Peleg","year":"2005","unstructured":"Peleg, M., Rubin, D., Altman, R.B.: Using Petri net tools to study properties and dynamics of biological systems. Journal of the American Medical Informatics Association (JAMIA)\u00a012(2), 181\u2013199 (2005)","journal-title":"Journal of the American Medical Informatics Association (JAMIA)"},{"issue":"11","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"issue":"5658","key":"4_CR31","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1126\/science.1091639","volume":"303","author":"A.S. Yoo","year":"2004","unstructured":"Yoo, A.S., Bais, C., Greenwald, I.: Crosstalk between the EGFR and LIN-12\/Notch pathways in C.\u00a0elegans vulval development. Science\u00a0303(5658), 663\u2013666 (2004)","journal-title":"Science"},{"issue":"6916","key":"4_CR32","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1038\/nature01234","volume":"420","author":"D.D. Shaye","year":"2002","unstructured":"Shaye, D.D., Greenwald, I.: Endocytosis-mediated downregulation of LIN-12\/Notch upon Ras activation in Caenorhabditis elegans. Nature\u00a0420(6916), 686\u2013690 (2002)","journal-title":"Nature"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:16:52Z","timestamp":1738250212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_4","relation":{},"subject":[]}}