{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T11:05:08Z","timestamp":1763809508840},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T00:00:00Z","timestamp":1459382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s00236-016-0266-1","type":"journal-article","created":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T10:33:15Z","timestamp":1459420395000},"page":"447-485","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["On the relations between Markov chain lumpability and reversibility"],"prefix":"10.1007","volume":"54","author":[{"given":"A.","family":"Marin","sequence":"first","affiliation":[]},{"given":"S.","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,31]]},"reference":[{"issue":"1","key":"266_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.peva.2010.09.002","volume":"68","author":"S Baarir","year":"2011","unstructured":"Baarir, S., Beccuti, M., Dutheillet, C., Franceschinis, G., Haddad, S.: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1), 21\u201344 (2011)","journal-title":"Perform. Eval."},{"issue":"7","key":"266_CR2","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Soft. Eng. 29(7), 524\u2013541 (2003)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"266_CR3","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Harrison, P.G., Marin, A.: A unifying approach to product-forms in networks with finite capacity constraints. In: Misra, V., Barford, P., Squillante, M.S. (eds.) Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, pp. 25\u201336. New York, NY, USA (14\u201318 June 2010)","DOI":"10.1145\/1811039.1811043"},{"issue":"7","key":"266_CR4","doi-asserted-by":"crossref","first-page":"1520","DOI":"10.1016\/j.jss.2011.11.1042","volume":"85","author":"S Balsamo","year":"2012","unstructured":"Balsamo, S., Harrison, P.G., Marin, A.: Methodological construction of product-form stochastic Petri-nets for performance evaluation. J. Syst. Softw. 85(7), 1520\u20131539 (2012)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"266_CR5","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"266_CR6","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, 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"issue":"1\u20133","key":"266_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0304-3975(03)00361-X","volume":"311","author":"A Dovier","year":"2004","unstructured":"Dovier, A., Piazza, C., Policriti, A.: An efficient algorithm for computing bisimulation equivalence. Theoret. Comput. Sci. 311(1\u20133), 221\u2013256 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"266_CR8","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1098\/rspa.1988.0043","volume":"416","author":"DJ Gates","year":"1988","unstructured":"Gates, D.J., Westcott, M.: Kinetics of polymer crystallization. Discrete and continuum models. Proc. R. Soc. Lond. 416, 443\u2013461 (1988)","journal-title":"Proc. R. Soc. Lond."},{"issue":"4","key":"266_CR9","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1162\/neco.1989.1.4.502","volume":"1","author":"E Gelenbe","year":"1989","unstructured":"Gelenbe, E.: Random neural networks with negative and positive signals and product form solution. Neural Comput. 1(4), 502\u2013510 (1989)","journal-title":"Neural Comput."},{"issue":"3","key":"266_CR10","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1017\/S0021900200042492","volume":"28","author":"E Gelenbe","year":"1991","unstructured":"Gelenbe, E.: Product form networks with negative and positive customers. J. Appl. Prob. 28(3), 656\u2013663 (1991)","journal-title":"J. Appl. Prob."},{"key":"266_CR11","doi-asserted-by":"crossref","DOI":"10.1142\/p643","volume-title":"Analysis and Synthesis of Computer Systems","author":"E Gelenbe","year":"2010","unstructured":"Gelenbe, E., Mitrani, I.: Analysis and Synthesis of Computer Systems, 2nd edn. Imperial College Press, London (2010)","edition":"2"},{"key":"266_CR12","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1017\/S0269964800002539","volume":"6","author":"E Gelenbe","year":"1992","unstructured":"Gelenbe, E., Schassberger, M.: Stability of product form G-networks. Prob. Eng. Inf. Sci. 6, 271\u2013276 (1992)","journal-title":"Prob. Eng. Inf. Sci."},{"issue":"5","key":"266_CR13","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":"266_CR14","doi-asserted-by":"crossref","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"PG Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoret. Comput. Sci. 290(3), 1947\u20131986 (2003)","journal-title":"Theoret. Comput. Sci."},{"issue":"11","key":"266_CR15","doi-asserted-by":"crossref","first-page":"1693","DOI":"10.1093\/comjnl\/bxt103","volume":"57","author":"PG Harrison","year":"2014","unstructured":"Harrison, P.G., Marin, A.: Product-forms in multi-way synchronizations. Comput. J. 57(11), 1693\u20131710 (2014)","journal-title":"Comput. J."},{"key":"266_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains and the Quest for Quantified Quality, LNCS","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains and the Quest for Quantified Quality, LNCS, vol. 2428. Springer, Berlin (2002)"},{"key":"266_CR17","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. Cambridge Press, Cambridge (1996)"},{"key":"266_CR18","unstructured":"Hillston, J., Thomas, N.: A syntactical analysis of reversible PEPA models. In: Proceedings of of 6th International Workshop on Process Algebra and Performance Modelling, pp. 37\u201349 (1998)"},{"key":"266_CR19","volume-title":"Reversibility and Stochastic Networks","author":"F Kelly","year":"1979","unstructured":"Kelly, F.: Reversibility and Stochastic Networks. Wiley, New York (1979)"},{"key":"266_CR20","volume-title":"Finite Markov Chains","author":"JG Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, New York (1976)"},{"key":"266_CR21","unstructured":"King, W.F.: Analysis of paging algorithms. In: Proceedings of IFIP Congress (1971)"},{"key":"266_CR22","volume-title":"Quantitative System Performance: Computer System Analysis Using Queueing Network Models","author":"ED Lazowska","year":"1984","unstructured":"Lazowska, E.D., Zahorjan, J.L., Graham, G.S., Sevcick, K.C.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice Hall, Englewood Cliffs (1984)"},{"key":"266_CR23","doi-asserted-by":"crossref","unstructured":"Mairesse, J., Nguyen, H.T.: Deficiency zero Petri nets and product form. In: Proceedings of the 30th International Conference on Application and Theory of Petri Nets, PETRI NETS \u201909, pp. 103\u2013122. Springer-Verlag, Paris, France (2009)","DOI":"10.1007\/978-3-642-02424-5_8"},{"key":"266_CR24","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: Autoreversibility: exploiting symmetries in Markov chains. In: Proceedings of the IEEE 21st International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems MASCOTS, pp. 151\u2013160. IEEE Computer Society (2013)","DOI":"10.1109\/MASCOTS.2013.23"},{"key":"266_CR25","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On discrete time reversibility modulo state renaming and its applications. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS, pp. 1\u20138 (2014)","DOI":"10.4108\/icst.valuetools.2014.258200"},{"key":"266_CR26","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On the relations between lumpability and reversibility. In: Proc. of the IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, MASCOTS, pp. 427\u2013432. IEEE Computer Society (2014)","DOI":"10.1109\/MASCOTS.2014.59"},{"key":"266_CR27","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: Lumping-based equivalences in Markovian automata and applications to product-form analyses. In: Proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST, LNCS, vol. 9259, pp. 160\u2013175. Springer (2015)","DOI":"10.1007\/978-3-319-22264-6_11"},{"issue":"2","key":"266_CR28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"266_CR29","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"266_CR30","volume-title":"Structured Stochastic Matrices of M\/G\/1 Type and Their Application","author":"MF Neuts","year":"1989","unstructured":"Neuts, M.F.: Structured Stochastic Matrices of M\/G\/1 Type and Their Application. Marcel Dekker, New York (1989)"},{"issue":"6","key":"266_CR31","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.E.: Three partition refinement algorithms. SIAM J. Comput. 16(6), 973\u2013989 (1987)","journal-title":"SIAM J. Comput."},{"key":"266_CR32","unstructured":"Schweitzer, P.: Aggregation methods for large Markov chains. In: Proceedings of the International Workshop on Computer Performance and Reliability, pp. 275\u2013286. North Holland (1984)"},{"issue":"7","key":"266_CR33","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1093\/comjnl\/38.7.622","volume":"38","author":"M Sereno","year":"1995","unstructured":"Sereno, M.: Towards a product form solution for stochastic process algebras. Comput. J. 38(7), 622\u2013632 (1995)","journal-title":"Comput. J."},{"issue":"1","key":"266_CR34","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/15326348908807099","volume":"5","author":"U Sumita","year":"1989","unstructured":"Sumita, U., Rieders, M.: Lumpability and time reversibility in the aggregation\u2013disaggregation method for large Markov chains. Stoch. Models 5(1), 63\u201381 (1989)","journal-title":"Stoch. Models"},{"key":"266_CR35","unstructured":"Takahashi, Y.: A lumping method for numerical calculations of statioanry distributions of Markov chains. In: Technical Report B-18, Department of Information Sciences, Tokyo Institute of Technology (1975)"},{"key":"266_CR36","volume-title":"Systems in stochastic equilibrium","author":"P Whittle","year":"1986","unstructured":"Whittle, P.: Systems in stochastic equilibrium. Wiley, New York (1986)"},{"key":"266_CR37","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1017\/S002190020000560X","volume":"46","author":"V Yap","year":"2009","unstructured":"Yap, V.: Similar states in continuous-time Markov chains. J. Appl. Probab. 46, 497\u2013506 (2009)","journal-title":"J. Appl. Probab."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0266-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0266-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0266-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0266-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T00:22:34Z","timestamp":1567729354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0266-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,31]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["266"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0266-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,31]]}}}