{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T07:25:52Z","timestamp":1747293952582,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024801"},{"type":"electronic","value":"9783642024818"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02481-8_161","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T01:18:06Z","timestamp":1244251086000},"page":"1063-1070","source":"Crossref","is-referenced-by-count":3,"title":["A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Machado","sequence":"first","affiliation":[]},{"given":"Rafael S.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Miguel","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Isabel","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Bruce","family":"Tidor","sequence":"additional","affiliation":[]},{"given":"Eug\u00e9nio C.","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"17","key":"161_CR1","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"M.L. Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics\u00a020(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"key":"161_CR2","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Computational Methods in Systems Biology 2005, pp. 204\u2013215 (2005)"},{"issue":"14","key":"161_CR3","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics\u00a022(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"issue":"4","key":"161_CR4","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 (2007)","journal-title":"Briefings in Bioinformatics"},{"issue":"1","key":"161_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1002\/bit.10288","volume":"79","author":"C. Chassagnole","year":"2002","unstructured":"Chassagnole, C., Noisommit-Rizzi, N., Schmid, J.W., Mauch, K., Reuss, M.: Dynamic modeling of the central carbon metabolism of Escherichia coli. Biotechnology and Bioengineering\u00a079(1), 53\u201373 (2002)","journal-title":"Biotechnology and Bioengineering"},{"issue":"3","key":"161_CR6","first-page":"347","volume":"3","author":"M. Chen","year":"2003","unstructured":"Chen, M.: Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell. Silico Biology\u00a03(3), 347\u2013365 (2003)","journal-title":"Silico Biology"},{"issue":"13","key":"161_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1098\/rsif.2006.0173","volume":"4","author":"I.R. Cohen","year":"2007","unstructured":"Cohen, I.R., Harel, D.: Explaining a complex living system: dynamics, multi-scaling and emergence. Journal of The Royal Society Interface\u00a04(13), 175\u2013182 (2007)","journal-title":"Journal of The Royal Society Interface"},{"key":"161_CR8","doi-asserted-by":"crossref","unstructured":"Covert, M.W., Xiao, N., Chen, T.J., Karr, J.R.: Integrating Metabolic, Transcriptional Regulatory and Signal Transduction Models in Escherichia coli. Bioinformatics (2008)","DOI":"10.1093\/bioinformatics\/btn352"},{"issue":"1","key":"161_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"Pt 6","key":"161_CR10","doi-asserted-by":"publisher","first-page":"1472","DOI":"10.1042\/bst0311472","volume":"31","author":"A. Finney","year":"2003","unstructured":"Finney, A., Hucka, M.: Systems biology markup language: Level 2 and beyond. Biochem. Soc. Trans.\u00a031(Pt 6), 1472\u20131473 (2003)","journal-title":"Biochem. Soc. Trans."},{"issue":"11","key":"161_CR11","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 (2007)","journal-title":"Nature Biotechnology"},{"issue":"1","key":"161_CR12","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R. Ghosh","year":"2004","unstructured":"Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling. IEE Systems Biology\u00a01(1), 170\u2013183 (2004)","journal-title":"IEE Systems Biology"},{"key":"161_CR13","doi-asserted-by":"crossref","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2008 Bertinoro, Italy, June 2-7 (2008)","DOI":"10.1007\/978-3-540-68894-5_7"},{"issue":"6","key":"161_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-7799(03)00115-X","volume":"21","author":"T. Ideker","year":"2003","unstructured":"Ideker, T., Lauffenburger, D.: Building with a scaffold: emerging strategies for high-to low-level cellular modeling. Trends in Biotechnology\u00a021(6), 255\u2013262 (2003)","journal-title":"Trends in Biotechnology"},{"issue":"3","key":"161_CR15","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2007.12.010","volume":"194","author":"M. John","year":"2008","unstructured":"John, M., Ewald, R., Uhrmacher, A.M.: A Spatial Extension to the \u03c0 Calculus. Electronic Notes in Theoretical Computer Science\u00a0194(3), 133\u2013148 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"161_CR16","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol.\u00a022(3), 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"issue":"6912","key":"161_CR17","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(6912), 206\u2013210 (2002)","journal-title":"Nature"},{"issue":"7-8","key":"161_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.drudis.2007.02.013","volume":"12","author":"W. Materi","year":"2007","unstructured":"Materi, W., Wishart, D.S.: Computational systems biology in drug discovery and development: methods and applications. Drug Discovery Today\u00a012(7-8), 295\u2013303 (2007)","journal-title":"Drug Discovery Today"},{"issue":"3","key":"161_CR19","first-page":"389","volume":"3","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways Representation and Simulation on Hybrid Functional Petri Net. Silico Biology\u00a03(3), 389\u2013404 (2003)","journal-title":"Silico Biology"},{"issue":"3","key":"161_CR20","first-page":"181","volume":"2","author":"M. Nagasaki","year":"2003","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: I. A platform for modelling and simulating biopathways. Applied Bioinformatics\u00a02(3), 181\u2013184 (2003)","journal-title":"Applied Bioinformatics"},{"issue":"6","key":"161_CR21","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1038\/nrm810","volume":"3","author":"D. Noble","year":"2002","unstructured":"Noble, D.: The rise of computational biology. Nature Reviews Molecular Cell Biology\u00a03(6), 459\u2013463 (2002)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"161_CR22","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1042\/bst0311513","volume":"31","author":"J.W. Pinney","year":"2003","unstructured":"Pinney, J.W., Westhead, D.R., McConkey, G.A.: Petri Net representations in systems biology. Biochem. Soc. Trans.\u00a031, 1513\u20131515 (2003)","journal-title":"Biochem. Soc. Trans."},{"key":"161_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"161_CR24","first-page":"328","volume-title":"Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology","author":"V.N. Reddy","year":"1993","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri Net Representations in Metabolic Pathways. In: Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, pp. 328\u2013336. AAAI Press, Menlo Park (1993)"},{"issue":"1","key":"161_CR25","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"161_CR26","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pac. Symp. Biocomput., vol.\u00a0459, p. 70 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"1","key":"161_CR27","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0025-5564(87)90035-6","volume":"87","author":"M.A. Savageau","year":"1987","unstructured":"Savageau, M.A., Voit, E.O.: Recasting nonlinear differential equations as S-systems: a canonical nonlinear form. Mathematical Biosciences\u00a087(1), 83\u2013115 (1987)","journal-title":"Mathematical Biosciences"},{"key":"161_CR28","unstructured":"Shaw, O., Koelmans, A., Steggles, J., Wipat, A.: Applying Petri Nets to Systems Biology using XML Technologies. In: ATPN 2004 (2004)"},{"key":"161_CR29","doi-asserted-by":"crossref","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(90002) (2005)","DOI":"10.1093\/bioinformatics\/bti1130"},{"key":"161_CR30","unstructured":"Starke, P.H.: INA: Integrated Net Analyzer. Reference Manual (1992)"},{"key":"161_CR31","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.J. Steggles","year":"2006","unstructured":"Steggles, L.J., 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)"},{"key":"161_CR32","doi-asserted-by":"crossref","unstructured":"Stephanopoulos, G.: Metabolic engineering. Biotechnology and Bioengineering\u00a058 (1998)","DOI":"10.1002\/(SICI)1097-0290(19980420)58:2\/3<119::AID-BIT1>3.3.CO;2-W"},{"issue":"1","key":"161_CR33","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1093\/bioinformatics\/15.1.72","volume":"15","author":"M. Tomita","year":"1999","unstructured":"Tomita, M., Hashimoto, K., Takahashi, K., Shimizu, T.S., Matsuzaki, Y., Miyoshi, F., Saito, K., Tanida, S., Yugi, K., Venter, J.C., et al.: E-CELL: software environment for whole-cell simulation. Bioinformatics\u00a015(1), 72\u201384 (1999)","journal-title":"Bioinformatics"},{"key":"161_CR34","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 Biology\u00a03, 29 (2003)","journal-title":"Silico Biology"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02481-8_161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T23:56:49Z","timestamp":1739145409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02481-8_161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024801","9783642024818"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02481-8_161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}