{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:41Z","timestamp":1725557501134},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135675"},{"type":"electronic","value":"9783642135682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13568-2_7","type":"book-chapter","created":{"date-parts":[[2010,6,16]],"date-time":"2010-06-16T12:37:14Z","timestamp":1276691834000},"page":"87-101","source":"Crossref","is-referenced-by-count":2,"title":["Product-Form Solutions for Models with Joint-State Dependent Transition Rates"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-72522-0_2","volume-title":"Formal Methods for Performance Evaluation","author":"S. Balsamo","year":"2007","unstructured":"Balsamo, S., Marin, A.: Queueing Networks in Formal methods for performance evaluation. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 34\u201382. Springer, Heidelberg (2007)"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","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\u00a022(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0166-5316(95)00023-2","volume":"26","author":"J.L. Coleman","year":"1996","unstructured":"Coleman, J.L., Henderson, W., Taylor, P.G.: Product form equilibrium distributions and a convolution algorithm for Stochastic Petri nets. Perform. Eval., Elsevier\u00a026, 159\u2013180 (1996)","journal-title":"Perform. Eval., Elsevier"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"P.G. Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science\u00a0290(3), 1947\u20131986 (2003)","journal-title":"Theoretical Computer Science"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1017\/S0334270000006573","volume":"31","author":"W. Henderson","year":"1989","unstructured":"Henderson, W., Lucic, D., Taylor, P.G.: A net level performance analysis of Stochastic Petri Nets. J. Austral. Math. Soc. Ser. B\u00a031, 176\u2013187 (1989)","journal-title":"J. Austral. Math. Soc. Ser. B"},{"key":"7_CR6","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edimburgh (1994)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1287\/mnsc.10.1.131","volume":"10","author":"J.R. Jackson","year":"1963","unstructured":"Jackson, J.R.: Jobshop-like queueing systems. Management Science\u00a010, 131\u2013142 (1963)","journal-title":"Management Science"},{"key":"7_CR8","volume-title":"Reversibility and stochastic networks","author":"F. Kelly","year":"1979","unstructured":"Kelly, F.: Reversibility and stochastic networks. Wiley, New York (1979)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01149184","volume":"5","author":"R. Serfozo","year":"1989","unstructured":"Serfozo, R.: Markovian network processes: Congestion-dependent routing and processing. Queueing Systems\u00a05, 5\u201336 (1989)","journal-title":"Queueing Systems"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13568-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:07:54Z","timestamp":1619784474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13568-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135675","9783642135682"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13568-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}