{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:19:37Z","timestamp":1761945577240,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658702"},{"type":"electronic","value":"9783540489115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0097777","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:04Z","timestamp":1164378484000},"page":"176-209","source":"Crossref","is-referenced-by-count":4,"title":["Performance evaluation of polling-based communication systems using SPNs"],"prefix":"10.1007","author":[{"given":"Boudewijn R.","family":"Haverkort","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,26]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Conte, G. Balbo, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems\u201d, ACM Transactions on Computer Systems 2(2), pp. 93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0166-5316(90)90001-Y","volume":"11","author":"M. Ajmone Marsan","year":"1990","unstructured":"M. Ajmone Marsan, S. Donatelli, F. Neri, \u201cGSPN Models of Markovian Multiserver Multiqueue Systems\u201d, Performance Evaluation 11, pp. 227\u2013240, 1990.","journal-title":"Performance Evaluation"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, S. Donatelli, F. Neri, U. Rubino, \u201cOn the Construction of Abstract GSPNs: An Exercise in Modelling\u201d, Proceedings PNPM91, IEEE Computer Society Press, pp. 2\u201317, 1991.","DOI":"10.1109\/PNPM.1991.238786"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, S. Donatelli, F. Neri, U. Rubino, \u201cGSPN Models of Random, Cyclic, and Optimal 1-Limited Multisever Multiqueue Systems\u201d, Proceedings ACM Sigcomm, IEEE Computer Society Press, pp. 69\u201380, 1991.","DOI":"10.1145\/115994.116000"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/5.18625","volume":"77","author":"W. Bux","year":"1989","unstructured":"W. Bux, \u201cToken-Ring Local-Area Networks and Their Performance\u201d, Proceedings of the IEEE 77(2) pp. 238\u2013256, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"7_CR6","unstructured":"H. Choi, K.S. Trivedi, \u201cApproximate Performance Models of Polling Systems using Stochastic Petri Nets\u201d. Proceedings IEEE INFOCOM'92, pp. 2306\u20132314, 1992."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala, K.S. Trivedi, \u201cSPNP: Stochastic Petri Net Package\u201d, Proceedings PNPM89, IEEE Computer Society Press, pp. 142\u2013151, 1989.","DOI":"10.1109\/PNPM.1989.68548"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G. Ciardo","year":"1991","unstructured":"G. Ciardo, J. K. Muppala, and K. S. Trivedi, \u201cOn the Solution of GSPN Reward Models\u201d, Performance Evaluation 12(4), pp. 237\u2013254, 1991.","journal-title":"Performance Evaluation"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J.A. Couvillion, R. Freire, R. Johnson, W.D. Obal II, A. Qureshi, M. Rai, W.H. Sanders, J.E. Tvedt, \u201cPerformability Modelling with UltraSAN\u201d, IEEE Software, pp. 69\u201380, September 1991.","DOI":"10.1109\/52.84218"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF02114294","volume":"6","author":"A. Coyle","year":"1996","unstructured":"A. Coyle, B. R. Haverkort, W. Henderson, C. Pearce, \u201cA Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings\u201d, Telecommunication Systems 6(2), pp. 203\u2013227, 1996.","journal-title":"Telecommunication Systems"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0164-1212(86)90029-4","volume":"1","author":"G. Florin","year":"1986","unstructured":"G. Florin, S. Natkin, \u201cOne Place Unbouned Stochastic Petri Nets: Ergodicity Criteria and Steady-State Solution\u201d, Journal of Systems and Software 1(2), pp. 103\u2013115, 1986.","journal-title":"Journal of Systems and Software"},{"key":"7_CR12","unstructured":"G. Florin, S. Natkin, \u201cA Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks\u201d, Proc. of the 2nd Int'l Workshop on Petri Nets and Performance Models, pp. 4\u201313, 1987."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0166-5316(95)00010-U","volume":"24","author":"R. German","year":"1995","unstructured":"R. German, C. Kelling, A. Zimmermann, G. Hommel, \u201cTimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets\u201d, Performance Evaluation 24, pp. 69\u201387, 1995.","journal-title":"Performance Evaluation"},{"key":"7_CR14","volume-title":"Conservation Laws in Polling Systems","author":"W.P. Groenendijk","year":"1990","unstructured":"W.P. Groenendijk, Conservation Laws in Polling Systems, Ph.D. thesis, University of Utrecht, Utrecht, the Netherlands, 1990."},{"key":"7_CR15","unstructured":"B.R. Haverkort, A.P.A. van Moorsel, D.-J. Speelman, \u201cXmgm: A Performance Analysis Tool Based on Matrix Geometric Methods\u201d, in: Proceedings of the Second International Workshop on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, IEEE Computer Society Press, pp. 152\u2013157, 1994."},{"key":"7_CR16","first-page":"237","volume":"73","author":"B.R. Haverkort","year":"1994","unstructured":"B.R. Haverkort, \u201cPolling Models: Theory and Applications\u201d, \u00d6CG-Schriftenreihe 73, Oldenbourg Verlag, pp. 237\u2013266, 1994.","journal-title":"\u00d6CG-Schriftenreihe"},{"key":"7_CR17","series-title":"IFIP series","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/978-0-387-34881-0_30","volume-title":"Performance Modelling and Evaluation of ATM Networks","author":"B.R. Haverkort","year":"1995","unstructured":"B.R. Haverkort, H. Idzenga, B.G. Kim, \u201cPerformance Evaluation of ATM Switch Architectures using Stochastic Petri Nets\u201d, in: Performance Modelling and Evaluation of ATM Networks, Editor: D. Kouvatsos, IFIP series, Chapman and Hall, London, pp. 553\u2013572, 1995."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, \u201cEfficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications\u201d, Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Sciety Press, pp. 72\u201381, 1995.","DOI":"10.1109\/IPDS.1995.395815"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, \u201cSPN2MGM: Tool Support for Matrix Geometric Stochastic Petri Nets\u201d, Proceedings of the 1996 International Computer Performance and Dependability Symposium, IEEE Computer Society Press, pp. 219\u2013228, 1996.","DOI":"10.1109\/IPDS.1996.540223"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, A. Ost, \u201cSteady-State Analysis of Infinite Stochastic Petri Nets: A Comparison between the Spectral Expansion and the Matrix-Geometric Method\u201d, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, 1997.","DOI":"10.1109\/PNPM.1997.595535"},{"issue":"6","key":"7_CR21","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/JSAC.1986.1146393","volume":"4","author":"H. Heffes","year":"1986","unstructured":"H. Heffes, D.M. Lucantoni, \u201cA Markov Modulated Characterization of Packetized Voice and Data Traffic and Related Statistical Multiplexer Performance\u201d, IEEE Journal on Selected Areas in Communications 4(6), pp. 856\u2013868, 1986.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"7_CR22","unstructured":"ITU-T Recommendation I.371, \u201cIntegrated Services Digital Network (ISDN), Overall Network Aspects and Functions\u2014Traffic Control and Congestion Control in B-ISDN\u201d, International Telecommunication Union, March 1993."},{"issue":"9","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1109\/49.62852","volume":"8","author":"O.C. Ibe","year":"1990","unstructured":"O.C. Ibe, K.S. Trivedi, \u201cStochastic Petri Net Models of Polling Systems\u201d, IEEE Journal of Selected Areas in Communications 8(9), pp. 1649\u20131657 1990.","journal-title":"IEEE Journal of Selected Areas in Communications"},{"issue":"11","key":"7_CR24","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/71.250101","volume":"4","author":"O.C. Ibe","year":"1993","unstructured":"O.C. Ibe, H. Choi, K.S. Trivedi, \u201cPerformance Evaluation of Client-Server Systems\u201d, IEEE Transactions on Parallel and Distributed Systems 4(11), pp. 1217\u20131229, 1993.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"R. Jain, \u201cPerformance Analysis of FDDI Token Ring Networks: Effects of Parameters and Guidelines for Setting TTRT\u201d, IEEE Magazine of Lightwave Telecommunication Systems, pp. 16\u201322, May 1992.","DOI":"10.1109\/80.93284"},{"issue":"6","key":"7_CR26","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TCOM.1987.1096832","volume":"35","author":"M.J. Johnson","year":"1987","unstructured":"M.J. Johnson, \u201cProof that the Timing Requirements of the FDDI Token Ring Protocol are Satisfied\u201d, IEEE Transactions on Communications 35(6), pp. 620\u2013625, 1987.","journal-title":"IEEE Transactions on Communications"},{"issue":"3","key":"7_CR27","first-page":"21","volume":"37","author":"C. Kelling","year":"1995","unstructured":"C. Kelling, R. German, A. Zimmermann, G. Hommel, \u201cTimeNET: ein Werkzeug zur modellierung mit zeiterweiterten Petri Netzen\u201d, Informationstechnik unf Technische Informatik 37(3), pp. 21\u201327, 1995 (in german).","journal-title":"Informationstechnik unf Technische Informatik"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"650","DOI":"10.2307\/3214773","volume":"30","author":"G. Latouche","year":"1993","unstructured":"G. Latouche, V. Ramaswami, \u201cA Logarithmic Reduction Algorithm for Quasi Birth and Death Processes\u201d, Journal of Applied Probability 30, pp. 650\u2013674, 1993.","journal-title":"Journal of Applied Probability"},{"issue":"6","key":"7_CR29","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1109\/90.266058","volume":"1","author":"D.-S. Lee","year":"1993","unstructured":"D.-S. Lee, B. Sengupta, \u201cQueueing Analysis of a Threshold Based Priority Scheme for ATM Networks\u201d, IEEE\/ACM Transactions on Networking 1(6), pp. 709\u2013717, 1993.","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"10","key":"7_CR30","doi-asserted-by":"publisher","first-page":"1750","DOI":"10.1109\/26.61446","volume":"38","author":"H. Levy","year":"1990","unstructured":"H. Levy, M. Sidi, \u201cPolling Systems: Applications Modeling and Optimization\u201d, IEEE Transactions on Communications 38(10), pp. 1750\u20131760, 1990.","journal-title":"IEEE Transactions on Communications"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"C. Lindemann, \u201cAn Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models\u201d, Proceedings PNPM91, IEEE Computer Society Press, pp. 176\u2013185, 1991.","DOI":"10.1109\/PNPM.1991.238803"},{"key":"7_CR32","unstructured":"C. Lindemann, R. German, \u201cDSPNexpress: A software Package for Efficiently Solving Deterministic and Stochastic Petri Nets\u201d, in: Computer Performance Evaluation 1992: Modelling Techniques and Tools 1992, Editors: R. Pooley, J. Hillston, Edinburgh University Press Ltd., 1993."},{"key":"7_CR33","unstructured":"A. Lindeyer, Phase-Type Approximations in Fixed-Point SPN Polling Models, technical report, University of Twente, 1994 (in dutch)."},{"key":"7_CR34","unstructured":"M.F. Neuts, Matrix Geometric Solutions in Stochastic Models\u2014An Algorithmic Approach, The Johns Hopkins University Press, 1981."},{"key":"7_CR35","volume-title":"Teletraffic Technologies in ATM Networks","author":"H. Saito","year":"1994","unstructured":"H. Saito, Teletraffic Technologies in ATM Networks, Artech House, Boston, 1994."},{"issue":"3","key":"7_CR36","first-page":"376","volume":"13","author":"K.C. Sevcik","year":"1987","unstructured":"K.C. Sevcik, M.J. Johnson, \u201cCycle Time Properties of the FDDI Token Ring Protocol\u201d, IEEE Transactions on Software Engineering 13(3), pp. 376\u2013385, 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"7_CR37","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/90.469950","volume":"3","author":"E. Souza e Silva de","year":"1995","unstructured":"E. de Souza e Silva, H.R. Gail, R.R. Muntz, \u201cPolling Systems with Server Timeouts and Their Application to Token Passing Networks\u201d, IEEE\/ACM Transactions on Networking 3(5), pp. 560\u2013575, 1995.","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"7_CR38","unstructured":"H. Takagi, Analysis of Polling Models, MIT Press, 1986."},{"issue":"1","key":"7_CR39","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/62058.62059","volume":"20","author":"H. Takagi","year":"1988","unstructured":"H. Takagi, \u201cQueueing Analysis of Polling Models\u201d, ACM Computing Surveys 20(1), pp. 5\u201328, 1988.","journal-title":"ACM Computing Surveys"},{"key":"7_CR40","unstructured":"H. Takagi, \u201cQueueing Analysis of Polling Models: An Update\u201d, in: Stochastic Analysis of Computer and Communication Systems, Eds.: H. Takagi, North-Holland, 267\u2013318, 1990."},{"key":"7_CR41","unstructured":"A.S. Tanenbaum, Computer Networks, Second Edition, Prentice-Hall, 1989."},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"M. Tangemann, \u201cMean waiting Time Approximations for Symmetric and Asymmetric Polling Systems with Time-Limited Service\u201d, in: Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen, Eds.: B. Walke, O. Spaniol, Springer-Verlag, pp. 143\u2013158, 1993.","DOI":"10.1007\/978-3-642-78495-8_12"},{"key":"7_CR43","volume-title":"Analysis and Optimization of Polling Models","author":"J.A. Weststrate","year":"1992","unstructured":"J.A. Weststrate, Analysis and Optimization of Polling Models, Catholic University of Brabant, Tilburg, the Netherlands, 1992."}],"container-title":["Lecture Notes in Computer Science","Application of Petri Nets to Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0097777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T04:25:25Z","timestamp":1736655925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0097777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658702","9783540489115"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/bfb0097777","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}