{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:25:45Z","timestamp":1743067545294,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319053585"},{"type":"electronic","value":"9783319053592"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05359-2_5","type":"book-chapter","created":{"date-parts":[[2014,2,14]],"date-time":"2014-02-14T04:50:00Z","timestamp":1392353400000},"page":"57-72","source":"Crossref","is-referenced-by-count":1,"title":["Performance Analysis of Computing Servers \u2014 A Case Study Exploiting a New GSPN Semantics"],"prefix":"10.1007","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Seifert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-38697-8_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"C. Eisentraut","year":"2013","unstructured":"Eisentraut, C., Hermanns, H., Katoen, J.-P., Zhang, L.: A semantics for every GSPN. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 90\u2013109. Springer, Heidelberg (2013)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Katoen, J.P.: GSPNs revisited: Simple semantics and new analysis algorithms. In: Application of Concurrency to System Design (ACSD), pp. 6\u201311. IEEE (2012)","DOI":"10.1109\/ACSD.2012.30"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-40196-1_5","volume-title":"Quantitative Evaluation of Systems","author":"D. Guck","year":"2013","unstructured":"Guck, D., Hatefi, H., Hermanns, H., Katoen, J.-P., Timmer, M.: Modelling, reduction and analysis of Markov automata. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol.\u00a08054, pp. 55\u201371. Springer, Heidelberg (2013)"},{"key":"5_CR4","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons (1995)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: LICS, pp. 342\u2013351. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Ghosh, R., Naik, V.K., Trivedi, K.S.: Power-performance trade-offs in Iaas cloud: A scalable analytic approach. In: Dependable Systems and Networks Workshops, pp. 152\u2013157 (2011)","DOI":"10.1109\/DSNW.2011.5958802"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1287\/opre.30.2.223","volume":"30","author":"R.W. Wolff","year":"1982","unstructured":"Wolff, R.W.: Poisson arrivals see time averages. Operations Research\u00a030, 223\u2013231 (1982)","journal-title":"Operations Research"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Dingle, N.J., Knottenbelt, W.J.: Automated customer-centric performance analysis of Generalised Stochastic Petri Nets using tagged tokens. In: PASM 2008. ENTCS, vol.\u00a0232, pp. 75\u201388 (2009)","DOI":"10.1016\/j.entcs.2009.02.051"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-34188-5_14","volume-title":"Hardware and Software: Verification and Testing","author":"K. Johnson","year":"2012","unstructured":"Johnson, K., Reed, S., Calinescu, R.: Specification and quantitative analysis of probabilistic cloud deployment patterns. In: Eder, K., Louren\u00e7o, J., Shehory, O. (eds.) HVC 2011. LNCS, vol.\u00a07261, pp. 145\u2013159. Springer, Heidelberg (2012)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ghosh, R., Trivedi, K.S., Naik, V.K., Kim, D.S.: End-to-end performability analysis for Infrastructure-as-a-Service cloud: An interacting stochastic models approach. In: IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 125\u2013132. IEEE CS (2010)","DOI":"10.1109\/PRDC.2010.30"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ghosh, R., Longo, F., Naik, V.K., Trivedi, K.S.: Quantifying resiliency of Iaas cloud. In: IEEE Symposium on Reliable Distributed Systems (SRDS), pp. 343\u2013347. IEEE (2010)","DOI":"10.1109\/SRDS.2010.49"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Kikuchi, S., Matsumoto, Y.: Performance modeling of concurrent live migration operations in cloud computing systems using PRISM probabilistic model checker. In: IEEE Int. Conf. on Cloud Computing (IEEE CLOUD), pp. 49\u201356. IEEE (2011)","DOI":"10.1109\/CLOUD.2011.48"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Xiong, K., Perros, H.G.: Service performance and analysis in cloud computing. In: IEEE Congress on Services, Part I (SERVICES I), pp. 693\u2013700. IEEE Computer Society (2009)","DOI":"10.1109\/SERVICES-I.2009.121"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"936","DOI":"10.1109\/TPDS.2011.199","volume":"23","author":"H. Khazaei","year":"2012","unstructured":"Khazaei, H., Misic, J.V., Misic, V.B.: Performance analysis of cloud computing centers using M\/G\/m\/m+r queuing systems. IEEE Trans. Parallel Distrib. Syst.\u00a023, 936\u2013943 (2012)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/978-3-642-10665-1_54","volume-title":"Cloud Computing","author":"B. Yang","year":"2009","unstructured":"Yang, B., Tan, F., Dai, Y.S., Guo, S.: Performance evaluation of cloud service considering fault recovery. In: Jaatun, M.G., Zhao, G., Rong, C. (eds.) Cloud Computing. LNCS, vol.\u00a05931, pp. 571\u2013576. Springer, Heidelberg (2009)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01158520","volume":"10","author":"J. Abate","year":"1992","unstructured":"Abate, J., Whitt, W.: The Fourier-series method for inverting transforms of probability distributions. Queueing Syst.\u00a010, 5\u201387 (1992)","journal-title":"Queueing Syst."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Harrison, P.G., Knottenbelt, W.J.: Passage time distributions in large Markov chains. In: Int. Conf. on Measurements and Modeling of Computer Systems (SIGMETRICS), pp. 77\u201385. ACM (2002)","DOI":"10.1145\/511399.511345"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05359-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,14]],"date-time":"2020-03-14T21:05:50Z","timestamp":1584219950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05359-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319053585","9783319053592"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05359-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}