{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T21:31:18Z","timestamp":1779139878964,"version":"3.51.4"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319631202","type":"print"},{"value":"9783319631219","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_23","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T04:05:15Z","timestamp":1500869115000},"page":"466-483","source":"Crossref","is-referenced-by-count":15,"title":["Syntactic Markovian Bisimulation for Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-21690-4_12","volume-title":"Computer Aided Verification","author":"A Abate","year":"2015","unstructured":"Abate, A., Brim, L., \u010ce\u0161ka, M., Kwiatkowska, M.: Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 195\u2013213. Springer, Cham (2015). doi: 10.1007\/978-3-319-21690-4_12"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-55676-1_3","volume-title":"Application and Theory of Petri Nets 1992","author":"C Autant","year":"1992","unstructured":"Autant, C., Schnoebelen, P.: Place bisimulations in Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 45\u201361. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55676-1_3"},{"issue":"1","key":"23_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/jcss.1999.1683","volume":"60","author":"C Baier","year":"2000","unstructured":"Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. J. Comput. Syst. Sci. 60(1), 187\u2013231 (2000)","journal-title":"J. Comput. Syst. Sci."},{"issue":"17","key":"23_CR4","doi-asserted-by":"crossref","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"ML 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 20(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"issue":"1","key":"23_CR5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1017\/S0021900200107338","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"issue":"3","key":"23_CR6","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L Cardelli","year":"2008","unstructured":"Cardelli, L.: On process rate semantics. Theoret. Comput. Sci. 391(3), 190\u2013215 (2008)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"23_CR7","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8(1), 84 (2014)","journal-title":"BMC Syst. Biol."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: CONCUR, pp. 226\u2013239 (2015)","DOI":"10.1145\/2933575.2935318"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: LICS, pp. 485\u2013494 (2016)","DOI":"10.1145\/2933575.2935318"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-49674-9_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven lumping of differential equations. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 93\u2013111. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49674-9_6"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL, pp. 137\u2013150 (2016)","DOI":"10.1145\/2837614.2837649"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 310\u2013328. Springer, Heidelberg (2017). doi: 10.1007\/978-3-662-54580-5_19"},{"issue":"1","key":"23_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0960129509990259","volume":"20","author":"L Cardelli","year":"2010","unstructured":"Cardelli, L., Zavattaro, G.: Turing universality of the biochemical ground form. Math. Struct. Comput. Sci. 20(1), 45\u201373 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"20214","DOI":"10.1038\/srep20214","volume":"6","author":"L Cardelli","year":"2016","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A., Dalchau, N., Tribastone, M., Tschaikowski, M.: Noise reduction in complex biological switches. Sci. Rep. 6, 20214 (2016)","journal-title":"Sci. Rep."},{"issue":"33\u201334","key":"23_CR15","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoret. Comput. Sci. 410(33\u201334), 3065\u20133084 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1186\/1752-0509-2-78","volume":"2","author":"H Conzelmann","year":"2008","unstructured":"Conzelmann, H., Fey, D., Gilles, E.D.: Exact model reduction of combinatorial reaction networks. BMC Syst. Biol. 2, 78 (2008)","journal-title":"BMC Syst. Biol."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: LICS (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139\u2013157. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-76637-7_10"},{"issue":"1","key":"23_CR19","doi-asserted-by":"crossref","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. TCS 325(1), 69\u2013110 (2004)","journal-title":"TCS"},{"issue":"6","key":"23_CR20","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.H.: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6), 309\u2013315 (2003)","journal-title":"Inf. Process. Lett."},{"issue":"5","key":"23_CR21","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1016\/j.bpj.2011.01.060","volume":"100","author":"O Dushek","year":"2011","unstructured":"Dushek, O., van der Merwe, P.A., Shahrezaei, V.: Ultrasensitivity in multisite phosphorylation of membrane-anchored proteins. Biophys. J. 100(5), 1189\u20131197 (2011)","journal-title":"Biophys. J ."},{"issue":"5584","key":"23_CR22","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1126\/science.1070919","volume":"297","author":"MB Elowitz","year":"2002","unstructured":"Elowitz, M.B., Levine, A.J., Siggia, E.D., Swain, P.S.: Stochastic gene expression in a single cell. Science 297(5584), 1183\u20131186 (2002)","journal-title":"Science"},{"key":"23_CR23","unstructured":"Feinberg, M.: Lectures on chemical reaction networks. Technical report, University of Wisconsin (1979)"},{"key":"23_CR24","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.tcs.2011.12.059","volume":"431","author":"J Feret","year":"2012","unstructured":"Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. TCS 431, 137\u2013164 (2012)","journal-title":"TCS"},{"issue":"18","key":"23_CR25","doi-asserted-by":"crossref","first-page":"i575","DOI":"10.1093\/bioinformatics\/btq388","volume":"26","author":"S Gay","year":"2010","unstructured":"Gay, S., Soliman, S., Fages, F.: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18), i575\u2013i581 (2010)","journal-title":"Bioinformatics"},{"issue":"1","key":"23_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"D Gillespie","year":"2000","unstructured":"Gillespie, D.: The chemical Langevin equation. J. Chem. Phys. 113(1), 297\u2013306 (2000)","journal-title":"J. Chem. Phys."},{"issue":"25","key":"23_CR27","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"5","key":"23_CR28","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/32.922715","volume":"27","author":"S Gilmore","year":"2001","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Trans. Softw. Eng. 27(5), 449\u2013464 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"23_CR29","doi-asserted-by":"crossref","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. TCS 391(3), 239\u2013257 (2008)","journal-title":"TCS"},{"key":"23_CR30","unstructured":"Hermanns, H., Ribaudo, M.: Exploiting symmetries in stochastic process algebras. In: European Simulation Multiconference, Manchester, UK, pp. 763\u2013770, June 1998"},{"key":"23_CR31","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. CUP, Cambridge (1996)"},{"issue":"3","key":"23_CR32","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1992-17304","volume":"17","author":"DT Huynh","year":"1992","unstructured":"Huynh, D.T., Tian, L.: On some equivalence relations for probabilistic processes. Fundam. Inform. 17(3), 211\u2013234 (1992)","journal-title":"Fundam. Inform."},{"key":"23_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-662-48057-1_23","volume-title":"Mathematical Foundations of Computer Science 2015","author":"G Iacobelli","year":"2015","unstructured":"Iacobelli, G., Tribastone, M., Vandin, A.: Differential bisimulation for a Markovian process algebra. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 293\u2013306. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48057-1_23"},{"issue":"7","key":"23_CR34","doi-asserted-by":"crossref","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"TG Kurtz","year":"1972","unstructured":"Kurtz, T.G.: The relationship between stochastic and deterministic models for chemical reactions. J. Chem. Phys. 57(7), 2976\u20132978 (1972)","journal-title":"J. Chem. Phys."},{"key":"23_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11817963_23","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 234\u2013248. Springer, Heidelberg (2006). doi: 10.1007\/11817963_23"},{"issue":"1","key":"23_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"issue":"6","key":"23_CR37","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.: Three partition refinement algorithms. SIAM J. Comput. 16(6), 973\u2013989 (1987)","journal-title":"SIAM J. Comput."},{"issue":"7","key":"23_CR38","first-page":"1","volume":"21","author":"Z R\u00f3zsa","year":"2004","unstructured":"R\u00f3zsa, Z., T\u00f3th, J.: Exact linear lumping in abstract spaces. Electron. J. Qual. Theory Differ. Eqn. 21(7), 1\u201320 (2004). Proceedings of the Colloquium on the Qualitative Theory of Differential Equations","journal-title":"Electron. J. Qual. Theory Differ. Eqn."},{"issue":"2","key":"23_CR39","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1038\/nmeth.1546","volume":"8","author":"MW Sneddon","year":"2011","unstructured":"Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat. Methods 8(2), 177\u2013183 (2011)","journal-title":"Nat. Methods"},{"issue":"4","key":"23_CR40","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4), 615\u2013633 (2008)","journal-title":"Nat. Comput."},{"key":"23_CR41","doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: EGAC: a genetic algorithm to compare chemical reaction networks. In: The Genetic and Evolutionary Computation Conference (GECCO) (2017, to appear)","DOI":"10.1145\/3071178.3071265"},{"key":"23_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-32940-1_27","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M Tschaikowski","year":"2012","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability for Markovian process algebra. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 380\u2013394. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32940-1_27"},{"key":"23_CR43","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: Generalised communication for interacting agents. In: QEST, pp. 178\u2013188, September 2012","DOI":"10.1109\/QEST.2012.16"},{"key":"23_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2013.08.016","volume":"517","author":"M Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Tackling continuous state-space explosion in a markovian process algebra. Theoret. Comput. Sci. 517, 1\u201333 (2014)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"23_CR45","first-page":"238","volume":"84","author":"M Tschaikowski","year":"2015","unstructured":"Tschaikowski, M., Tribastone, M.: A unified framework for differential aggregations in Markovian process algebra. JLAMP 84(2), 238\u2013258 (2015)","journal-title":"JLAMP"},{"issue":"4","key":"23_CR46","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1109\/TAC.2015.2457172","volume":"61","author":"M Tschaikowski","year":"2016","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Trans. Automat. Contr. 61(4), 1099\u20131104 (2016)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"23_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-319-34096-8_7","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"A Vandin","year":"2016","unstructured":"Vandin, A., Tribastone, M.: Quantitative abstractions for collective adaptive systems. In: Bernardo, M., Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 202\u2013232. Springer, Cham (2016). doi: 10.1007\/978-3-319-34096-8_7"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-85361-9_37","volume-title":"CONCUR 2008 - Concurrency Theory","author":"G Zavattaro","year":"2008","unstructured":"Zavattaro, G., Cardelli, L.: Termination problems in chemical kinetics. In: Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 477\u2013491. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85361-9_37"}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,31]],"date-time":"2022-07-31T07:13:01Z","timestamp":1659251581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}