{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:36:05Z","timestamp":1742945765491,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":41,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461449089"},{"type":"electronic","value":"9781461449096"}],"license":[{"start":{"date-parts":[[2012,10,28]],"date-time":"2012-10-28T00:00:00Z","timestamp":1351382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,10,28]],"date-time":"2012-10-28T00:00:00Z","timestamp":1351382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-4909-6_4","type":"book-chapter","created":{"date-parts":[[2012,12,3]],"date-time":"2012-12-03T20:44:12Z","timestamp":1354567452000},"page":"57-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["AutoCAT: Automated Product-Form Solution of Stochastic Models"],"prefix":"10.1007","author":[{"given":"Giuliano","family":"Casale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter G.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,28]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1287\/moor.8.2.273","volume":"8","author":"FA Al-Khayyal","year":"1983","unstructured":"Al-Khayyal, F.A., Falk, J.E.: Jointly constrained biconvex programming. Math. Oper. Res. 8(2), 273\u2013286 (1983)","journal-title":"Math. Oper. Res."},{"key":"4_CR2","volume-title":"Automated product-forms with Meercat","author":"A Argent-Katwala","year":"2006","unstructured":"Argent-Katwala, A.: Automated product-forms with Meercat. In: Proceedings of SMCTOOLS, October 2006"},{"issue":"10","key":"4_CR3","first-page":"915","volume":"28","author":"G Balbo","year":"2002","unstructured":"Balbo, G.,\u00a0Bruell, S.C., Sereno, M.: Product form solution for generalized stochastic Petri nets. IEEE TSE 28(10), 915\u2013932 (2002)","journal-title":"IEEE TSE"},{"doi-asserted-by":"crossref","unstructured":"Balsamo, S.,\u00a0Onvural, R.O., De Nitto Person\u00e9, V.: Analysis of Queueing Networks with Blocking. Kluwer, Norwell, MA (2001)","key":"4_CR4","DOI":"10.1007\/978-1-4757-3345-7"},{"doi-asserted-by":"crossref","unstructured":"Balsamo, S.,\u00a0Dei\u00a0Rossi, G.,\u00a0Marin, A.: A numerical algorithm for the solution of product-form models with infinite state spaces. In Computer Performance Engineering (A. Aldini, M. Bernardo, L. Bononi, V. Cortellessa, Eds.) LNCS 6342, Springer 2010. (7th Europ. Performance Engineering Workshop EPEW 2010, Bertinoro (Fc), Italy, (2010)","key":"4_CR5","DOI":"10.1007\/978-3-642-15784-4_13"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F Baskett","year":"1975","unstructured":"Baskett, F.,\u00a0Chandy, 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":"4_CR7","volume-title":"Introduction to Linear Optimization","author":"D Bertsimas","year":"1997","unstructured":"Bertsimas, D.,\u00a0Tsitsiklis, J.: Introduction to Linear Optimization. Athena Scientific, Nashua, NH (1997)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains","author":"G Bolch","year":"1998","unstructured":"Bolch, G.,\u00a0Greiner, S.,\u00a0de\u00a0Meer, H.,\u00a0Trivedi, K.S.: Queueing Networks and Markov Chains. Wiley, New York (1998)"},{"doi-asserted-by":"crossref","unstructured":"Buchholz, P.: Product form approximations for communicating Markov processes. In: Proceedings of QEST, pp. 135\u2013144. IEEE, New York (2008)","key":"4_CR9","DOI":"10.1109\/QEST.2008.23"},{"issue":"9","key":"4_CR10","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1016\/j.peva.2009.12.005","volume":"67","author":"P Buchholz","year":"2010","unstructured":"Buchholz, P.: Product form approximations for communicating Markov processes. Perform. Eval. 67(9), 797\u2013815 (2010)","journal-title":"Perform. Eval."},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1137\/080729529","volume":"20","author":"S Burer","year":"2009","unstructured":"Burer, S., Letchford, A.N.: On nonconvex quadratic programming with box constraints. SIAM J. Optim. 20(2), 1073\u20131089 (2009)","journal-title":"SIAM J. Optim."},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1008260528575","volume":"8","author":"XR Cao","year":"1998","unstructured":"Cao, X.R.: The relations among potentials, perturbation analysis, and Markov decision processes. Discr. Event Dyn. Sys. 8(1), 71\u201387 (1998)","journal-title":"Discr. Event Dyn. Sys."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0166-5316(95)00025-9","volume":"26","author":"XR Cao","year":"1996","unstructured":"Cao, X.R., Ma, D.J.: Performance sensitivity formulae, algorithms and estimates for closed queueing networks with exponential servers. Perform. Eval. 26, 181\u2013199 (1996)","journal-title":"Perform. Eval."},{"key":"4_CR14","volume-title":"A class of tractable models for run-time performance evaluation","author":"G Casale","year":"2012","unstructured":"Casale, G., Harrison, P.G.: A class of tractable models for run-time performance evaluation. In: Proceedings of ACM\/SPEC ICPE (2012)"},{"doi-asserted-by":"crossref","unstructured":"Casale, G., Harrison, P.G., Vigliotti, M.G.: Product-form approximation of queueing networks with phase-type service. ACM Perf. Eval. Rev. 39(4) (2012)","key":"4_CR15","DOI":"10.1145\/2185395.2185427"},{"doi-asserted-by":"crossref","unstructured":"de\u00a0Souza\u00a0e Silva, E., Ochoa, P.M.: State space exploration in Markov models. In: Proceedings of ACM SIGMETRICS, pp. 152\u2013166 (1992)","key":"4_CR16","DOI":"10.1145\/149439.133100"},{"key":"4_CR17","volume-title":"Queueing Networks and Product Forms: A Systems Approach","author":"N Dijk","year":"1993","unstructured":"Dijk, N.: Queueing Networks and Product Forms: A Systems Approach. Wiley, Chichester (1993)"},{"doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Quessette, F.: Computing the steady-state distribution of G-networks with synchronized partial flushing. In: Proceedings of ISCIS, pp. 887\u2013896. Springer, Berlin (2006)","key":"4_CR18","DOI":"10.1007\/11902140_92"},{"doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Plateau, B.,\u00a0Stewart, W.: Product form for stochastic automata networks. In: Proceedings of ValueTools, pp. 1\u201310 (2007)","key":"4_CR19","DOI":"10.4108\/valuetools.2007.1980"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"656","DOI":"10.2307\/3214499","volume":"28","author":"E Gelenbe","year":"1991","unstructured":"Gelenbe, E.: Product-form queueing networks with negative and positive customers. J. App. Probab. 28(3), 656\u2013663 (1991)","journal-title":"J. App. Probab."},{"unstructured":"GNU GLPK 4.8. http:\/\/www.gnu.org\/software\/glpk\/","key":"4_CR21"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","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. Theor. Comput. Sci 290(3), 1947\u20131986 (2003)","journal-title":"Theor. Comput. Sci"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"PG Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product forms and a non-product form. Lin. Algebra Appl. 386, 359\u2013381 (2004)","journal-title":"Lin. Algebra Appl."},{"issue":"7","key":"4_CR24","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1093\/comjnl\/38.7.510","volume":"38","author":"PG Harrison","year":"1995","unstructured":"Harrison, P.G., Hillston, J.: Exploiting quasi-reversible structures in Markovian process algebra models. Comp. J. 38(7), 510\u2013520 (1995)","journal-title":"Comp. J."},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.tcs.2005.08.007","volume":"346","author":"PG Harrison","year":"2005","unstructured":"Harrison, P.G., Lee, T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theor. Comput. Sci 346, 161\u2013182 (2005)","journal-title":"Theor. Comput. Sci"},{"key":"4_CR26","volume-title":"A PMIF with Petri net building blocks","author":"PG Harrison","year":"2011","unstructured":"Harrison, P.G., Llado, C.: A PMIF with Petri net building blocks. In: Proceedings of ICPE (2011)"},{"unstructured":"Hillston, J.: A compositional approach to performance modelling. Ph.D. Thesis, University of Edinburgh (1994)","key":"4_CR27"},{"unstructured":"IBM ILOG CPLEX 12.0 User\u2019s Manual, 2010","key":"4_CR28"},{"issue":"1","key":"4_CR29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1287\/mnsc.10.1.131","volume":"10","author":"J.R.J. Jackson","year":"1963","unstructured":"Jackson, J.R.J.: Jobshop-like queueing systems. Manage. Sci. 10(1), 131\u2013142 (1963)","journal-title":"Manage. Sci."},{"issue":"3","key":"4_CR30","doi-asserted-by":"publisher","first-page":"542","DOI":"10.2307\/3212869","volume":"12","author":"FP Kelly","year":"1975","unstructured":"Kelly, F.P.: Networks of queues with customers of different types. J. Appl. Probab. 12(3), 542\u2013554 (1975)","journal-title":"J. Appl. Probab."},{"key":"4_CR31","volume-title":"Reversibility and Stochastic Networks","author":"FP Kelly","year":"1979","unstructured":"Kelly, F.P.: Reversibility and Stochastic Networks. Wiley, New York (1979)"},{"issue":"24","key":"4_CR32","first-page":"1014","volume":"11","author":"Z Liu","year":"1998","unstructured":"Liu, Z.: Performance analysis of stochastic timed Petri nets using linear programming approach. IEEE TSE 11(24), 1014\u20131030 (1998)","journal-title":"IEEE TSE"},{"key":"4_CR33","volume-title":"YALMIP: A toolbox for modeling and optimization in MATLAB","author":"J L\u00f6fberg","year":"2004","unstructured":"L\u00f6fberg, J.: YALMIP: A toolbox for modeling and optimization in MATLAB. In: Proceedings of CACSD (2004)"},{"doi-asserted-by":"crossref","unstructured":"Marin, A., Bul\u00f2, S.R.: A general algorithm to compute the steady-state solution of product-form cooperating Markov chains. In: Proceedings of MASCOTS, pp. 1\u201310 (2009)","key":"4_CR34","DOI":"10.1109\/MASCOT.2009.5366744"},{"doi-asserted-by":"crossref","unstructured":"Marin, A., Vigliotti, M.G.: A general result for deriving product-form solutions in Markovian models. In: Proceedings of ICPE, pp. 165\u2013176 (2010)","key":"4_CR35","DOI":"10.1145\/1712605.1712632"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BF01580665","volume":"10","author":"GP McCormick","year":"1976","unstructured":"McCormick, G.P.: Computability of global solutions to factorable nonconvex programs. Math. Prog. 10, 146\u2013175 (1976)","journal-title":"Math. Prog."},{"unstructured":"Muntz, R.R.: Poisson departure processes and queueing networks. Tech. Rep. RC 4145, IBM T.J. Watson Research Center, Yorktown Heights, NY (1972)","key":"4_CR37"},{"issue":"3","key":"4_CR38","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/158439.158906","volume":"25","author":"RD Nelson","year":"1993","unstructured":"Nelson, R.D.: The mathematics of product form queuing networks. ACM Comp. Surv. 25(3), 339\u2013369 (1993)","journal-title":"ACM Comp. Surv."},{"key":"4_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/b98874","volume-title":"Numerical Optimization","author":"J Nocedal","year":"1999","unstructured":"Nocedal, J., Wright, S.J.: Numerical Optimization. Springer, Berlin (1999)"},{"doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. SIGMETRICS 147\u2013154 (1985)","key":"4_CR40","DOI":"10.1145\/317786.317819"},{"key":"4_CR41","volume-title":"Iterative Methods for Sparse Linear Systems","author":"Y Saad","year":"2000","unstructured":"Saad, Y.: Iterative Methods for Sparse Linear Systems. SIAM, Philadelphia (2000)"}],"container-title":["Springer Proceedings in Mathematics & Statistics","Matrix-Analytic Methods in Stochastic Models"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-4909-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T06:31:58Z","timestamp":1676788318000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-4909-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,28]]},"ISBN":["9781461449089","9781461449096"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-4909-6_4","relation":{},"ISSN":["2194-1009","2194-1017"],"issn-type":[{"type":"print","value":"2194-1009"},{"type":"electronic","value":"2194-1017"}],"subject":[],"published":{"date-parts":[[2012,10,28]]},"assertion":[{"value":"28 October 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}