{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:20Z","timestamp":1725549980873},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_1","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T07:53:44Z","timestamp":1131695624000},"page":"1-14","source":"Crossref","is-referenced-by-count":0,"title":["Performance Engineering and Stochastic Modelling"],"prefix":"10.1007","author":[{"given":"Peter","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.laa.2003.12.041","volume":"386","author":"G.P. Basharin","year":"2004","unstructured":"Basharin, G.P., Langville, A.N., Naumov, V.A.: The life and work of A.A. Markov. J. Linear Algebra and its Applications\u00a0386, 3\u201326 (2004)","journal-title":"J. Linear Algebra and its Applications"},{"issue":"2","key":"1_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.: Open, Closed and Mixed Networks of Queues with Different classes of Customers. J. ACM\u00a022(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-30187-5_11","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"A.J. Bennett","year":"2004","unstructured":"Bennett, A.J., Field, A.J., Woodside, C.M.: Experimental Evaluation of the UML Profile for Schedulability, Performance and Time. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 143\u2013157. Springer, Heidelberg (2004)"},{"key":"1_CR4","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: Integrating performance and functional analysis of concurrent systems with EMPA. In: Proc. of the 1st Workshop on Distributed Systems: Algorithms, Architectures and Languages, Levico (Italy), June 1996, pp. 5\u20136 (1996)"},{"issue":"7","key":"1_CR5","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 Transactions on Software Engineering\u00a020(7), 536\u2013544 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR6","unstructured":"Brockmeyer, E., Halstrom, H.L., Jensen, A.: The life and works of A.K. Erlang. The Copenhagen Telephone Company (1948)"},{"key":"1_CR7","volume-title":"Queueing networks: customers, signals and product form solutions","author":"X. Chao","year":"1999","unstructured":"Chao, X., Miyazawa, M., Pinedo, M.: Queueing networks: customers, signals and product form solutions. Wiley, Chichester (1999)"},{"key":"1_CR8","unstructured":"Erlang, A.K.: The Theory of Probabilities and Telephone Conversations. Nyt Tidsskrift for Matematik B\u00a020 (1909)"},{"key":"1_CR9","unstructured":"Erlang, A.K.: Solution of some Problems in the Theory of Probabilities of Significance in Automatic Telephone Exchanges. Elektrotkeknikeren\u00a013 (1917)"},{"issue":"4","key":"1_CR10","doi-asserted-by":"publisher","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 positive and negative signals and product form solution. Neural Computation\u00a01(4), 502\u2013510 (1989)","journal-title":"Neural Computation"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"742","DOI":"10.2307\/3214781","volume":"30","author":"E. Gelenbe","year":"1993","unstructured":"Gelenbe, E.: G-networks with triggered customer movement. Journal of Applied Probability\u00a030, 742\u2013748 (1993)","journal-title":"Journal of Applied Probability"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0377-2217(99)00475-0","volume":"126","author":"E. Gelenbe","year":"2000","unstructured":"Gelenbe, E.: The first decade of G-networks. European Journal of Operational Research\u00a0126(2), 231\u2013232 (2000)","journal-title":"European Journal of Operational Research"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Gelenbe, E., Fourneau, J.-M.: G-networks with resets. In: Performance 2002. Performance Evaluation, vol.\u00a049, pp. 179\u2013191 (2002)","DOI":"10.1016\/S0166-5316(02)00127-X"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1017\/S0269964800002539","volume":"6","author":"E. Gelenbe","year":"1992","unstructured":"Gelenbe, E., Schassberger, R.: Stability of product form G-networks. Probability in the Engineering and Informational Sciences\u00a06, 271\u2013276 (1992)","journal-title":"Probability in the Engineering and Informational Sciences"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1287\/opre.15.2.254","volume":"15","author":"W.J. Gordon","year":"1967","unstructured":"Gordon, W.J., Newell, G.F.: Closed Queueing Systems with Exponential Servers. Operations Research\u00a015(2), 254\u2013265 (1967)","journal-title":"Operations Research"},{"issue":"3","key":"1_CR16","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":"1_CR17","doi-asserted-by":"crossref","unstructured":"Harrison, P.G.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science (2005) (under review)","DOI":"10.1016\/j.tcs.2005.08.007"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.peva.2004.02.002","volume":"57","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Compositional reversed Markov processes, with applications to G-networks. Performance Evaluation\u00a057(3), 379\u2013408 (2004)","journal-title":"Performance Evaluation"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product forms and a non-product form. J. Linear Algebra and its Applications\u00a0386, 359\u2013382 (2004)","journal-title":"J. Linear Algebra and its Applications"},{"issue":"7","key":"1_CR20","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1093\/comjnl\/38.7.530","volume":"38","author":"H. Hermanns","year":"1995","unstructured":"Hermanns, H., Rettelbach, M., Wei, T.: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. The Computer Journal\u00a038(7), 530\u2013541 (1995)","journal-title":"The Computer Journal"},{"key":"1_CR21","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0166-5316(99)00005-X","volume":"35","author":"J. Hillston","year":"1999","unstructured":"Hillston, J., Thomas, N.: Product form solution for a class of PEPA models. Performance Evaluation\u00a035, 171\u2013192 (1999)","journal-title":"Performance Evaluation"},{"issue":"1","key":"1_CR23","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(1), 131\u2013142 (1963)","journal-title":"Management Science"},{"key":"1_CR24","volume-title":"Reversibility and Stochastic Networks","author":"F.P. Kelly","year":"1979","unstructured":"Kelly, F.P.: Reversibility and Stochastic Networks. John Wiley Sons Ltd, Chichester (1979)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-46429-8_19","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"P.J.B. King","year":"2000","unstructured":"King, P.J.B., Pooley, R.: Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 262\u2013276. Springer, Heidelberg (2000)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","first-page":"143","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"D.B. Petriu","year":"2004","unstructured":"Petriu, D.B., Woodside, M.: A Metamodel for Generating Performance Models from UML Designs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 143\u2013157. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:58:46Z","timestamp":1619492326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11549970_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}