{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:55:09Z","timestamp":1725519309734},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883869"},{"type":"electronic","value":"9783540883876"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88387-6_26","type":"book-chapter","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T01:42:45Z","timestamp":1223602965000},"page":"289-302","source":"Crossref","is-referenced-by-count":0,"title":["On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies"],"prefix":"10.1007","author":[{"given":"Nawel","family":"Gharbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1080\/09720510.2000.10701019","volume":"3","author":"A. Aissani","year":"2000","unstructured":"Aissani, A.: An M x \/G\/1 retrial queue with exhaustive vacations. Journal of Statistics and Management Systems\u00a03, 269\u2013286 (2000)","journal-title":"Journal of Statistics and Management Systems"},{"key":"26_CR2","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons, New York (1995)"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/S0305-0548(96)00076-7","volume":"24","author":"J.R. Artalejo","year":"1997","unstructured":"Artalejo, J.R.: Analysis of an M\/G\/1 queue with constant repeated attempts and server vacations. Computers and Operations Research\u00a024, 493\u2013504 (1997)","journal-title":"Computers and Operations Research"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Artalejo, J.R., Falin, G.I.: Standard and retrial queueing systems: A comparative analysis. Revista Matematica Complutense XV, pp. 101\u2013129 (2002)","DOI":"10.5209\/rev_REMA.2002.v15.n1.16950"},{"key":"26_CR5","unstructured":"Artalejo, J.R., L\u00f3pez-Herrero, M.J.: On the M\/M\/m queue with removable servers, Stochastic Point Processes. In: Srinivasan, S.K., Vijayakumar, A. (eds.), pp. 124\u2013144. Narosa Publishing House (2003)"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/S0377-2217(97)00253-1","volume":"110","author":"X. Chao","year":"1998","unstructured":"Chao, X., Zhao, Y.Q.: Analysis of multi-sever queues with station and server vacations. European Journal of Operational Research\u00a0110, 392\u2013406 (1998)","journal-title":"European Journal of Operational Research"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"1455","DOI":"10.1016\/j.amc.2006.11.011","volume":"188","author":"G. Choudhury","year":"2007","unstructured":"Choudhury, G.: A two phase batch arrival retrial queueing system with Bernoulli vacation schedule. Applied Mathematics and Computation\u00a0188, 1455\u20131466 (2007)","journal-title":"Applied Mathematics and Computation"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, C., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation\u00a024, 47\u201368 (1995)","journal-title":"Performance Evaluation"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01158472","volume":"7","author":"G.I. Falin","year":"1990","unstructured":"Falin, G.I.: A survey on retrial queues. Queueing Systems\u00a07, 127\u2013168 (1990)","journal-title":"Queueing Systems"},{"key":"26_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-2977-8","volume-title":"Retrial Queues","author":"G.I. Falin","year":"1997","unstructured":"Falin, G.I., Templeton, J.G.C.: Retrial Queues. Chapman and Hall, London (1997)"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0377-2217(97)00170-7","volume":"108","author":"G.I. Falin","year":"1998","unstructured":"Falin, G.I., Artalejo, J.R.: A finite source retrial queue. European Journal of Operational Research\u00a0108, 409\u2013424 (1998)","journal-title":"European Journal of Operational Research"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1016\/j.amc.2005.06.005","volume":"174","author":"N. Gharbi","year":"2006","unstructured":"Gharbi, N., Ioualalen, M.: GSPN Analysis of retrial systems with servers breakdowns and repairs. Applied Mathematics and Computation\u00a0174, 1151\u20131168 (2006)","journal-title":"Applied Mathematics and Computation"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Houck, D.J., Lai, W.S.: Traffic modeling and analysis of hybrid fiber-coax systems. Computer Networks and ISDN systems 30, pp. 821\u2013834 (1998)","DOI":"10.1016\/S0169-7552(97)00126-8"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1109\/26.558699","volume":"45","author":"G.K. Janssens","year":"1997","unstructured":"Janssens, G.K.: The quasi-random input queueing system with repeated attempts as a model for collision-avoidance star local area network. IEEE Transactions on Communications\u00a045, 360\u2013364 (1997)","journal-title":"IEEE Transactions on Communications"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S0898-1221(01)00267-X","volume":"43","author":"B. Krishna Kumar","year":"2002","unstructured":"Krishna Kumar, B., Arivudainambi, D.: The M\/G\/1 retrial queue with Bernoulli schedules and general retrial times. Computers and Mathematics with Applications\u00a043, 15\u201330 (2002)","journal-title":"Computers and Mathematics with Applications"},{"key":"26_CR16","unstructured":"Kwon, S.J.: Performance analysis of CDPD Sleep mode for power conservation in mobile end systems. IEICE Trans. Commun.\u00a0E84 (2001)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0377-2217(94)E0358-I","volume":"85","author":"H. Li","year":"1995","unstructured":"Li, H., Yang, T.: A single server retrial queue with server vacations and a finite number of input sources. European Journal of Operational Research\u00a085, 149\u2013160 (1995)","journal-title":"European Journal of Operational Research"},{"key":"26_CR18","unstructured":"Roszik, J., Sztrik, J., Kim, C.: Retrial queues in the performance modeling of cellular mobile networks using MOSEL. International Journal of Simulation: Systems, Science and Technology 1-2, 38\u201347 (2005)"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1016\/j.cor.2003.09.007","volume":"32","author":"K. Sikdar","year":"2005","unstructured":"Sikdar, K., Gupta, U.C.: Analytic and Numerical Aspects of Batch Service Queues with Single Vacation. Computers and Operations Research\u00a032, 943\u2013966 (2005)","journal-title":"Computers and Operations Research"},{"key":"26_CR20","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1002\/nav.20193","volume":"54","author":"N. Tian","year":"2006","unstructured":"Tian, N., Zhang, Z.G.: Quantifying the performance effects of idle time utilization in multiserver systems. Naval Research Logistics\u00a054, 189\u2013199 (2006)","journal-title":"Naval Research Logistics"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BF02412245","volume":"8","author":"K.S. Trivedi","year":"1991","unstructured":"Trivedi, K.S., Ibe, O.C.: Stochastic Petri net analysis of finite-population vacation queueing systems. Queueing Systems\u00a08, 111\u2013128 (1991)","journal-title":"Queueing Systems"},{"key":"26_CR22","first-page":"85","volume":"5","author":"N. Tian","year":"2001","unstructured":"Tian, N., Xu, X.: M\/M\/c queue with synchronous multiple vacation of partial servers. Oper. Resear. Trans.\u00a05, 85\u201394 (2001)","journal-title":"Oper. Resear. Trans."},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Tian, N., Zhang, Z.G.: Vacation Queueing Models: Theory and Applications. International Series in Operations Research & Management Science\u00a093 (2006)","DOI":"10.1007\/978-0-387-33723-4"},{"key":"26_CR24","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.amc.2003.12.032","volume":"161","author":"Z. Wenhui","year":"2005","unstructured":"Wenhui, Z.: Analysis of a single-server retrial queue with FCFS orbit and Bernoulli vacation. Applied Mathematics and Computation\u00a0161, 353\u2013364 (2005)","journal-title":"Applied Mathematics and Computation"},{"key":"26_CR25","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1016\/j.peva.2005.09.003","volume":"63","author":"X. Xu","year":"2006","unstructured":"Xu, X., Zhang, Z.G.: Analysis of multi-server queue with a single vacation (e,d)-policy. Performance Evaluation\u00a063, 825\u2013838 (2006)","journal-title":"Performance Evaluation"},{"key":"26_CR26","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF01158899","volume":"2","author":"T. Yang","year":"1987","unstructured":"Yang, T., Templeton, J.G.C.: A survey on retrial queues. Queueing Systems\u00a02, 201\u2013233 (1987)","journal-title":"Queueing Systems"},{"key":"26_CR27","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1026097723093","volume":"45","author":"Z.G. Zhang","year":"2003","unstructured":"Zhang, Z.G., Tian, N.: Analysis of queueing systems with synchronous single vacation for some servers. Queueing Systems: Theory and Applications\u00a045, 161\u2013175 (2003)","journal-title":"Queueing Systems: Theory and Applications"},{"key":"26_CR28","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0166-5316(02)00192-X","volume":"52","author":"Z.G. Zhang","year":"2003","unstructured":"Zhang, Z.G., Tian, N.: Analysis of queueing systems with synchronous vacations of partial servers. Performance Evaluation\u00a052, 269\u2013282 (2003)","journal-title":"Performance Evaluation"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88387-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T10:45:35Z","timestamp":1557830735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88387-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883869","9783540883876"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88387-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}