{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:58:20Z","timestamp":1743155900274,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642117114"},{"type":"electronic","value":"9783642117121"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11712-1_1","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T20:48:43Z","timestamp":1265921323000},"page":"1-12","source":"Crossref","is-referenced-by-count":6,"title":["Biomodel Engineering \u2013 From Structure to Behavior"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Breitling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin A.","family":"Donaldson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David R.","family":"Gilbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","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. Nat. Biotechnol.\u00a025, 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/bib\/bbl043","volume":"7","author":"D. Gilbert","year":"2006","unstructured":"Gilbert, D., Fuss, H., Gu, X., Orton, R., Robinson, S., Vyshemirsky, V., Kurth, M.J., Downes, C.S., Dubitzky, W.: Computational methodologies for modelling, analysis and simulation of signalling networks. Brief Bioinform.\u00a07, 339\u2013353 (2006)","journal-title":"Brief Bioinform."},{"key":"1_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-26888-X_7","volume-title":"Bioinformatics Technologies","author":"M. Nagasaki","year":"2005","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Computational modeling of biological processes with Petri Net-based architecture. In: Chen, Y. (ed.) Bioinformatics Technologies, pp. 179\u2013242. Springer, Heidelberg (2005)"},{"key":"1_CR5","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 Trans Fundam Electron Commun. Comput Sci.\u00a0E89-A, 3166\u20133174 (2006)","journal-title":"IEICE Trans Fundam Electron Commun. Comput Sci."},{"key":"1_CR6","first-page":"181","volume":"2","author":"M. Nagasaki","year":"2003","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: a platform for modeling and simulating biopathways. Applied Bioinformatics\u00a02, 181\u2013184 (2003)","journal-title":"Applied Bioinformatics"},{"key":"1_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. Brief Bioinform.\u00a08, 210\u2013219 (2007)","journal-title":"Brief Bioinform."},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"6477","DOI":"10.4249\/scholarpedia.6477","volume":"3","author":"C.A. Petri","year":"2008","unstructured":"Petri, C.A., Reisig, W.: Petri nets. Scholarpedia\u00a03, 6477 (2008)","journal-title":"Scholarpedia"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/bib\/bbn026","volume":"9","author":"R. Breitling","year":"2008","unstructured":"Breitling, R., Gilbert, D., Heiner, M., Orton, R.: A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Brief Bioinform.\u00a09, 404\u2013421 (2008)","journal-title":"Brief Bioinform."},{"key":"1_CR11","unstructured":"Shaw, O., Koelmans, A., Steggles, J., Wipat, A.: Applying Petri Nets to Systems Biology using XML Technologies. Technical Report Series. University of Newcastle upon Tyne (2004); CS-TR-827"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1186\/1752-0509-2-53","volume":"2","author":"M. Nagasaki","year":"2008","unstructured":"Nagasaki, M., Saito, A., Li, C., Jeong, E., Miyano, S.: Systematic reconstruction of TRANSPATH data into cell system markup language. BMC Syst. Biol.\u00a02, 53 (2008)","journal-title":"BMC Syst. Biol."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1093\/nar\/gkj107","volume":"34","author":"M. Krull","year":"2006","unstructured":"Krull, M., Pistor, S., Voss, N., Kel, A., Reuter, I., Kronenberg, D., Michael, H., Schwarzer, K., Potapov, A., Choi, C., et al.: TRANSPATH: an information resource for storing and visualizing signaling pathways and their pathological aberrations. Nucleic Acids Res.\u00a034, D546\u2013D551 (2006)","journal-title":"Nucleic Acids Res."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1471-2105-1-1","volume":"1","author":"J.S. Edwards","year":"2000","unstructured":"Edwards, J.S., Palsson, B.O.: Metabolic flux balance analysis and the in silico analysis of Escherichia coli K-12 gene deletions. BMC Bioinformatics\u00a01, 1 (2000)","journal-title":"BMC Bioinformatics"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1038\/nrg1769","volume":"7","author":"J.L. Reed","year":"2006","unstructured":"Reed, J.L., Famili, I., Thiele, I., Palsson, B.O.: Towards multidimensional genome annotation. Nat. Rev. Genet.\u00a07, 130\u2013141 (2006)","journal-title":"Nat. Rev. Genet."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1038\/nprot.2007.99","volume":"2","author":"S.A. Becker","year":"2007","unstructured":"Becker, S.A., Feist, A.M., Mo, M.L., Hannum, G., Palsson, B.O., Herrgard, M.J.: Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox. Nat. Protoc.\u00a02, 727\u2013738 (2007)","journal-title":"Nat. Protoc."},{"key":"1_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790515","volume-title":"Systems Biology: Properties of Reconstructed Networks","author":"B.O. Palsson","year":"2006","unstructured":"Palsson, B.O.: Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, Cambridge (2006)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/j.tibtech.2004.06.010","volume":"22","author":"J.A. Papin","year":"2004","unstructured":"Papin, J.A., Stelling, J., Price, N.D., Klamt, S., Schuster, S., Palsson, B.O.: Comparison of network-based pathway analysis methods. Trends Biotechnol.\u00a022, 400\u2013405 (2004)","journal-title":"Trends Biotechnol."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/S0006-3495(03)74450-6","volume":"85","author":"I. Famili","year":"2003","unstructured":"Famili, I., Palsson, B.O.: The convex basis of the left null space of the stoichiometric matrix leads to the definition of metabolically meaningful pools. Biophys. J.\u00a085, 16\u201326 (2003)","journal-title":"Biophys. J."},{"key":"1_CR20","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\u2013demonstrated for apoptosis. Biosystems\u00a075, 15\u201328 (2004)","journal-title":"Biosystems"},{"key":"1_CR21","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":"1_CR22","doi-asserted-by":"publisher","first-page":"1777","DOI":"10.1073\/pnas.0610772104","volume":"104","author":"N.C. Duarte","year":"2007","unstructured":"Duarte, N.C., Becker, S.A., Jamshidi, N., Thiele, I., Mo, M.L., Vo, T.D., Srivas, R., Palsson, B.O.: Global reconstruction of the human metabolic network based on genomic and bibliomic data. Proc. Natl. Acad. Sci. U S A\u00a0104, 1777\u20131782 (2007)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1101\/gr.4083206","volume":"16","author":"M.J. Herrgard","year":"2006","unstructured":"Herrgard, M.J., Lee, B.S., Portnoy, V., Palsson, B.O.: Integrated analysis of regulatory and metabolic networks reveals novel regulatory mechanisms in Saccharomyces cerevisiae. Genome Res.\u00a016, 627\u2013635 (2006)","journal-title":"Genome Res."},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science\u00a0391, 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review\u00a035, 14\u201321 (2008)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"1_CR26","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"1_CR28","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1126\/science.1147888","volume":"320","author":"R. Losick","year":"2008","unstructured":"Losick, R., Desplan, C.: Stochasticity and cell fate. Science\u00a0320, 65\u201368 (2008)","journal-title":"Science"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","volume":"58","author":"D.T. Gillespie","year":"2007","unstructured":"Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem.\u00a058, 35\u201355 (2007)","journal-title":"Annu. Rev. Phys. Chem."},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1038\/nrg1615","volume":"6","author":"M. Kaern","year":"2005","unstructured":"Kaern, M., Elston, T.C., Blake, W.J., Collins, J.J.: Stochasticity in gene expression: from theories to phenotypes. Nat. Rev. Genet.\u00a06, 451\u2013464 (2005)","journal-title":"Nat. Rev. Genet."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1186\/1754-1611-2-5","volume":"2","author":"R.P.. Shetty","year":"2008","unstructured":"Shetty, R.P., Endy, D., Knight Jr., T.F.: Engineering BioBrick vectors from BioBrick parts. J. Biol. Eng.\u00a02, 5 (2008)","journal-title":"J. Biol. Eng."},{"key":"1_CR33","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, 1219\u20131226 (2005)","journal-title":"Bioinformatics"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"4781","DOI":"10.1073\/pnas.0305937101","volume":"101","author":"F. Li","year":"2004","unstructured":"Li, F., Long, T., Lu, Y., Quyang, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Natl. Acad. Sci. U S A\u00a0101, 4781\u20134786 (2004)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"102","author":"J. Fisher","year":"2005","unstructured":"Fisher, J., Piterman, N., Hubbard, E.J., Stern, M.J., Harel, D.: Computational insights into Caenorhabditis elegans vulval development. Proc. Natl. Acad. Sci. U S A\u00a0102, 1951\u20131956 (2005)","journal-title":"Proc. Natl. Acad. Sci. U S A"},{"key":"1_CR36","first-page":"113","volume":"16","author":"R. Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt, R.: A Petri Net Application of Metabolic Processes. Journal of System Analysis, Modelling and Simulation\u00a016, 113\u2013122 (1994)","journal-title":"Journal of System Analysis, Modelling and Simulation"},{"key":"1_CR37","first-page":"328","volume-title":"First International Conference on Intelligent Systems for Molecular Biology 1993","author":"V.N. Reddy","year":"1993","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri Net Representation in Metabolic Pathways. In: First International Conference on Intelligent Systems for Molecular Biology 1993, pp. 328\u2013336. AAAI Press, Menlo Park (1993)"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"1000005","DOI":"10.1371\/journal.pcbi.1000005","volume":"4","author":"D. Ruths","year":"2008","unstructured":"Ruths, D., Muller, M., Tseng, J.T., Nakhleh, L., Ram, P.T.: The signaling Petri net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks. PLoS Comput. Biol.\u00a04, e1000005 (2008)","journal-title":"PLoS Comput. Biol."}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11712-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T05:55:08Z","timestamp":1552370108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11712-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642117114","9783642117121"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11712-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}