{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:19:24Z","timestamp":1740097164890,"version":"3.37.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319284743"},{"type":"electronic","value":"9783319284750"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-28475-0_3","type":"book-chapter","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T23:21:01Z","timestamp":1451344861000},"page":"25-47","source":"Crossref","is-referenced-by-count":0,"title":["An Excursion Through Quantitative Model Refinement"],"prefix":"10.1007","author":[{"given":"Sepinoud","family":"Azimi","sequence":"first","affiliation":[]},{"given":"Eugen","family":"Czeizler","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Gratie","sequence":"additional","affiliation":[]},{"given":"Diana","family":"Gratie","sequence":"additional","affiliation":[]},{"given":"Bogdan","family":"Iancu","sequence":"additional","affiliation":[]},{"given":"Nebiat","family":"Ibssa","sequence":"additional","affiliation":[]},{"given":"Ion","family":"Petre","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Rogojin","sequence":"additional","affiliation":[]},{"given":"Tolou","family":"Shadbahr","sequence":"additional","affiliation":[]},{"given":"Fatemeh","family":"Shokri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"3_CR1","unstructured":"Azimi, S., Petre, I.: Quantitative model refinement for guarded command models. To appear (2015)"},{"issue":"8","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1114\/1.1313771","volume":"28","author":"JB Bassingthwaighte","year":"2000","unstructured":"Bassingthwaighte, J.B.: Strategies for the physiome project. Ann. Biomed. Eng. 28(8), 1043\u20131058 (2000)","journal-title":"Ann. Biomed. Eng."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1038\/msb.2008.74","volume":"5","author":"WW Chen","year":"2009","unstructured":"Chen, W.W., Schoeberl, B., Jasper, P.J., Niepel, M., Nielsen, U.B., Lauffenburger, D.A., Sorger, P.K.: Input-output behavior of erbb signaling pathways as revealed by a mass action model trained against dynamic data. Mol. Syst. Biol. 5, 239 (2009)","journal-title":"Mol. Syst. Biol."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/s10910-007-9307-x","volume":"44","author":"G Craciun","year":"2008","unstructured":"Craciun, G., Pantea, C.: Identifiability of chemical reaction networks. J. Math. Chem. 44(1), 244\u2013259 (2008)","journal-title":"J. Math. Chem."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Czeizler, E., Czeizler, E., Iancu, B., Petre, I.: Quantitative model refinement as a solution to the combinatorial size explosion of biomodels. In: Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011), Electronic Notes in Theoretical Computer Science, vol. 284, pp. 35\u201353 (2012)","DOI":"10.1016\/j.entcs.2012.05.014"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1109\/TCBB.2011.154","volume":"9","author":"E Czeizler","year":"2012","unstructured":"Czeizler, E., Mizera, A., Czeizler, E., Back, R.J., Eriksson, J.E., Petre, I.: Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentin. IEEE\/ACM Trans. Comput. Biol. Bioinf. (TCBB) 9(3), 885\u2013898 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf. (TCBB)"},{"issue":"8","key":"3_CR7","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1002\/cplx.20074","volume":"10","author":"JR Faeder","year":"2005","unstructured":"Faeder, J.R., Blinov, M.L., Goldstein, B., Hlavacek, W.S.: Rule-based modeling of biochemical networks. Complexity 10(4), 22\u201341 (2005)","journal-title":"Complexity"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-319-08019-2_21","volume-title":"Language, Life, Limits","author":"C Gratie","year":"2014","unstructured":"Gratie, C., Petre, I.: Fit-Preserving data refinement of mass-action reaction networks. In: Beckmann, A., Csuhaj-Varj\u00fa, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 204\u2013213. Springer, Heidelberg (2014)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Gratie, C., Petre, I.: Fit-preserving data refinement of mass-action reaction networks. Technical Report, Turku Centre for Computer Science (2014)","DOI":"10.1007\/978-3-319-08019-2_21"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Gratie, C., Petre, I.: Complete characterization for the fit-preserving data refinement of mass-action reaction networks. Technical Report 1128, Turku Centre for Computer Science (2015)","DOI":"10.1007\/978-3-319-08019-2_21"},{"key":"3_CR12","unstructured":"Gratie, D.E., Iancu, B., Azimi, S., Petre, I.: Quantitative model refinement in four different frameworks, with applications to the heat shock response. Technical Report 1067, TUCS (2013)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-38874-3_2","volume-title":"Formal Methods for Dynamical Systems","author":"D-E Gratie","year":"2013","unstructured":"Gratie, D.-E., Iancu, B., Petre, I.: ODE analysis of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 29\u201362. Springer, Heidelberg (2013)"},{"key":"3_CR14","unstructured":"Gratie, D.E., Petre, I.: Hiding the combinatorial state space explosion of biomodels through colored petri nets. Annals of University of Bucharest LXI, pp. 23\u201341 (2014)"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1146\/annurev.biochem.73.011303.073823","volume":"73","author":"H Herrmann","year":"2004","unstructured":"Herrmann, H., Aebi, U.: Intermediate filaments: molecular structure, assembly mechanism, and integration into functionally distinct intracellular scaffolds. Annu. Rev. Biochem. 73(1), 749\u2013789 (2004)","journal-title":"Annu. Rev. Biochem."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Hoops, S., Sahle, S., Gauges, R., Lee, C., Pahle, J., Simus, N., Singhal, M., Xu, L., Mendes, P., Kummer, U.: Copasi\u2013a complex pathway simulator. Bioinformatics 22(24), 3067\u20133074 (2006). http:\/\/bioinformatics.oxfordjournals.org\/content\/22\/24\/3067.abstract","DOI":"10.1093\/bioinformatics\/btl485"},{"issue":"36","key":"3_CR17","doi-asserted-by":"publisher","first-page":"5533","DOI":"10.1038\/sj.onc.1208817","volume":"24","author":"J Hornberg","year":"2005","unstructured":"Hornberg, J., Binder, B., Bruggeman, F., Schoeberl, B., Heinrich, R., Westerhoff, H.: Control of MAPK signalling: from complexity to what really matters. Oncogene 24(36), 5533\u20135542 (2005)","journal-title":"Oncogene"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Hucka, M., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003). http:\/\/bioinformatics.oxfordjournals.org\/content\/19\/4\/524.abstract","DOI":"10.1093\/bioinformatics\/btg015"},{"issue":"5\u20136","key":"3_CR19","first-page":"529","volume":"8","author":"B Iancu","year":"2012","unstructured":"Iancu, B., Czeizler, E., Czeizler, E., Petre, I.: Quantitative refinement of reaction models. Int. J. Unconventional Comput. 8(5\u20136), 529\u2013550 (2012)","journal-title":"Int. J. Unconventional Comput."},{"key":"3_CR20","unstructured":"Iancu, B.: Quantitative Refinement of Reaction-Based Biomodels. Ph.D. thesis, Turku Centre for Computer Science (2015)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-319-07953-0_8","volume-title":"Algorithms for Computational Biology","author":"B Iancu","year":"2014","unstructured":"Iancu, B., Gratie, D.-E., Azimi, S., Petre, I.: On the implementation of quantitative model refinement. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) AlCoB 2014. LNCS, vol. 8542, pp. 95\u2013106. Springer, Heidelberg (2014)"},{"key":"3_CR22","unstructured":"Ibssa, N.: Quantitative model refinement (2015). http:\/\/combio.abo.fi\/research\/quantitative-model-refinement\/"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer-Verlag, Berlin Heidelberg (2009)"},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.cell.2012.05.044","volume":"150","author":"JR Karr","year":"2012","unstructured":"Karr, J.R., Sanghvi, J.C., Macklin, D.N., Gutschow, M.V., Jacobs, J.M., Bolival, B., Assad-Garcia, N., Glass, J.I., Covert, M.W.: A whole-cell computational model predicts phenotype from genotype. Cell 150(2), 389\u2013401 (2012)","journal-title":"Cell"},{"key":"3_CR25","volume-title":"Systems Biology in Practice: Concepts, Implementation and Application","author":"E Klipp","year":"2008","unstructured":"Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice: Concepts, Implementation and Application. John Wiley & Sons, New York (2008)"},{"key":"3_CR26","volume-title":"Modeling in Systems Biology: The Petri Net Approach","author":"I Koch","year":"2010","unstructured":"Koch, I., Reisig, W., Schreiber, F.: Modeling in Systems Biology: The Petri Net Approach, vol. 16. Springer Science & Business Media, London (2010)"},{"issue":"5744","key":"3_CR27","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1038\/283249a0","volume":"283","author":"E Lazarides","year":"1980","unstructured":"Lazarides, E.: Intermediate filaments as mechanical integrators of cellular space. Nature 283(5744), 249\u2013256 (1980)","journal-title":"Nature"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-35524-0_8","volume-title":"Transactions on Computational Systems Biology XIV","author":"A Mizera","year":"2012","unstructured":"Mizera, A., Czeizler, E., Petre, I.: Self-assembly models of variable resolution. In: Priami, C., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 181\u2013203. Springer, Heidelberg (2012)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Murphy, E., Danos, V., Feret, J., Krivine, J., Harmer, R.: Rule Based Modelling and Model Refinement, Elem. Comput. Syst. Biol. pp. 83\u2013114. Wiley Book Series on Bioinformatics, John Wiley & Sons, Inc. (2010)","DOI":"10.1002\/9780470556757.ch4"},{"key":"3_CR30","volume-title":"Self-Organizationin Nonequilibrium Systems: From Dissipative Structures to Order Through Fluctuations","author":"G Nicolis","year":"1977","unstructured":"Nicolis, G., Prigogine, I.: Self-Organizationin Nonequilibrium Systems: From Dissipative Structures to Order Through Fluctuations. Wiley, New York (1977)"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Ovaska, K., et al.: Large-scale data integration framework provides a comprehensive view on glioblastoma multiforme. Genome Med. 2(9), 65+, 2010. http:\/\/dx.doi.org\/10.1186\/gm186","DOI":"10.1186\/gm186"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s11047-010-9216-y","volume":"10","author":"I Petre","year":"2011","unstructured":"Petre, I., Mizera, A., Hyder, C., Meinander, A., Mikhailov, A., Morimoto, R., Sistonen, L., Eriksson, J., Back, R.: A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Natural Comput. 10(1), 595\u2013612 (2011)","journal-title":"Natural Comput."},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-61474-5_56","volume-title":"Computer Aided Verification","author":"M Pistore","year":"1996","unstructured":"Pistore, M., Sangiorgi, D.: A partition refinement algorithm for the $$\\pi $$ -calculus. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 38\u201349. Springer, Heidelberg (1996)"},{"issue":"8","key":"3_CR34","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1114\/1.1308484","volume":"28","author":"Y Rudy","year":"2000","unstructured":"Rudy, Y.: From genome to physiome: integrative models of cardiac excitation. Ann. Biomed. Eng. 28(8), 945\u2013950 (2000)","journal-title":"Ann. Biomed. Eng."},{"key":"3_CR35","volume-title":"The Cytoskeleton, Cell Biology Monographs","author":"M Schliwa","year":"1986","unstructured":"Schliwa, M.: The Cytoskeleton, Cell Biology Monographs, vol. 13. Springer-Verlag, Vienna, Austria (1986)"},{"key":"3_CR36","unstructured":"Shokri, F.: Structref (2015). https:\/\/github.com\/fshokri\/StructRef"},{"issue":"1","key":"3_CR37","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"I Suzuki","year":"1983","unstructured":"Suzuki, I., Murata, T.: A method for stepwise refinement and abstraction of petri nets. J. Comput. Syst. Sci. 27(1), 51\u201376 (1983)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28475-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T20:51:02Z","timestamp":1567457462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28475-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319284743","9783319284750"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28475-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}