{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:03:28Z","timestamp":1743005008874,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027413"},{"type":"electronic","value":"9783642027420"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-02742-0_16","type":"book-chapter","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T10:44:40Z","timestamp":1302605080000},"page":"343-356","source":"Crossref","is-referenced-by-count":2,"title":["Product-Form Solution in PEPA via the Reversed Process"],"prefix":"10.1007","author":[{"given":"Peter G.","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nigel","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Balbo, G., Bruell, S., Sereno, M.: Embedded processes in generalized stochastic Petri net. In: Proc. 9th Intl. Workshop on Petri Nets and Performance Models, pp. 71\u201380 (2001)","DOI":"10.1109\/PNPM.2001.953357"},{"issue":"7","key":"16_CR2","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/32.297942","volume":"20","author":"R.J. Boucherie","year":"1994","unstructured":"Boucherie, R.J.: A Characterisation of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets. IEEE Trans. on Software Eng.\u00a020(7), 536\u2013544 (1994)","journal-title":"IEEE Trans. on Software Eng."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science (January 2003)","DOI":"10.1016\/S0304-3975(02)00375-4"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Harrison, P.G.: Reversed processes, product-forms and a non-product-form. Linear Algebra and Its Applications (July 2004)","DOI":"10.1016\/j.laa.2004.02.020"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Harrison, P.G.: Compositional reversed Markov processes, with applications to G-networks. Performance Evaluation (2004)","DOI":"10.1016\/j.peva.2004.02.002"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1016\/j.peva.2009.05.003","volume":"66","author":"P.G. Harrison","year":"2009","unstructured":"Harrison, P.G.: Product-forms and functional rates. Performance Evaluation\u00a066, 660\u2013663 (2009)","journal-title":"Performance Evaluation"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/32.67592","volume":"17","author":"W. Henderson","year":"1991","unstructured":"Henderson, W., Taylor, P.G.: Embedded Processes in Stochastic Petri Nets. IEEE Trans. on Software Eng.\u00a017(2), 108\u2013116 (1991)","journal-title":"IEEE Trans. on Software Eng."},{"key":"16_CR8","doi-asserted-by":"publisher","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 University Press, Cambridge (1996)"},{"key":"16_CR9","volume-title":"Reversibility and stochastic networks","author":"F.P. Kelly","year":"1979","unstructured":"Kelly, F.P.: Reversibility and stochastic networks. Wiley, Chichester (1979)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-02924-0_5","volume-title":"Computer Performance Engineering","author":"N. Thomas","year":"2009","unstructured":"Thomas, N., Zhao, Y.: Mean value analysis for a class of PEPA models. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol.\u00a05652, pp. 59\u201372. Springer, Heidelberg (2009)"},{"key":"16_CR11","unstructured":"Thomas, N.: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. In: Proceedings 8th Workshop on Process Algebra and Stochastically Timed Activities. University of Edinburgh, Edinburgh (2009)"}],"container-title":["Lecture Notes in Computer Science","Network Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02742-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T01:01:13Z","timestamp":1741136473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-02742-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642027413","9783642027420"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02742-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}