{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:21:15Z","timestamp":1725643275916},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545507"},{"type":"electronic","value":"9783642769344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76934-4_21","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T19:20:50Z","timestamp":1323890450000},"page":"306-319","source":"Crossref","is-referenced-by-count":1,"title":["Employing The Randomization Technique for Solving Stochastic Petri Net Models"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Lindemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","first-page":"1","volume-title":"Advances in Petri Nets 1989","author":"MA Marsan","year":"1990","unstructured":"M. Ajmone Marsan, \u201cStochastic Petri Nets: An Elementary Introduction\u201d, in: G. Rotenberg (Ed.) Advances in Petri Nets 1989, Lecture Notes in Computer Science 424, pp. 1\u201329, Springer 1990."},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems\u201d, ACM Trans. Comp.Systems2, pp. 93\u2013122, 1984.","journal-title":"ACM Trans. Comp.Systems"},{"key":"21_CR3","first-page":"132","volume-title":"Advances in Petri Nets 1986","author":"M Ajmone","year":"1987","unstructured":"M. Ajmone Marsan and G. Chiola, \u201cOn Petri Nets with Deterministic and Exponentially Distributed Firing Times\u201d, in: G. Rozenberg (Ed.) Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pp. 132\u2013145, Springer 1987."},{"key":"21_CR4","first-page":"146","volume-title":"Advances in Petri Nets 1986","author":"M Ajmone","year":"1987","unstructured":"M. Ajmone Marsan, G. Chiola, and A. Fumagalli, \u201cAn Accurate Performance Model of CSMA\/CD Bus LAN\u201d, in:G. Rozenberg (Ed.) Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pp. 146\u2013161, Springer 1987."},{"key":"21_CR5","first-page":"30","volume-title":"Advances in Petri Nets 1989","author":"M Ajmone","year":"1990","unstructured":"M. Ajmone Marsan, G. Chiola, and A. Fumagalli, \u201cImproving the Efficiency of the Analysis of DSPN Models\u201d, in: G. Rozenberg (Ed.) Advances in Petri Nets 1989, Lecture Notes in Computer Science 424, pp. 30\u201350, Springer 1990."},{"key":"21_CR6","first-page":"186","volume-title":"Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets","author":"P Chen","year":"1989","unstructured":"P. Chen, S.C. Bruell, and G. Balbo, \u201cAlternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets\u201d, Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto Japan, pp. 186\u2013197,1989."},{"key":"21_CR7","first-page":"323","volume-title":"A Graphical Petri Net Tool for Performance Analysis","author":"G Chiola","year":"1987","unstructured":"G. Chiola, \u201cA Graphical Petri Net Tool for Performance Analysis\u201d, Proc. 3rd Int. Conf. on Modeling Techniques and Tools for Performance Analysis, Paris France, pp. 323\u2013333,1987."},{"key":"21_CR8","first-page":"142","volume-title":"SPNP: Stochastic Petri Net Package","author":"G Ciardo","year":"1989","unstructured":"G. Ciardo, J. Muppala, K.S. Trivedi, \u201cSPNP: Stochastic Petri Net Package\u201d, Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto Japanpp. 142\u2013151,1989."},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"BL Fox","year":"1988","unstructured":"B.L. Fox and P.W. Glynn, \u201cComputing Poisson Probabilities\u201d, Comm. of the ACM, 31pp. 440\u2013445,1988.","journal-title":"Comm. of the ACM"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/0377-2217(77)90049-2","volume":"1","author":"W Grassmann","year":"1977","unstructured":"W. Grassmann, \u201cTransient Solutions in Markovian Queues\u201d, European Journal of Operational Research, 1pp. 392\u2013402,1977.","journal-title":"European Journal of Operational Research"},{"key":"21_CR11","unstructured":"D. Gross and C.M. Harris, \u201cFundamentals of Queueing Theory\u201d, 2nd Edition, John Wiley & Sons"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D Gross","year":"1984","unstructured":"D. Gross and D.R. Miller, \u201cThe Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes\u201d, Operations Research32,345\u2013361,1984.","journal-title":"Operations Research"},{"key":"21_CR13","volume-title":"An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models","author":"C Lindemann","year":"1991","unstructured":"C. Lindemann, \u201cAn Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models\u201d, Technical Report 91\u20136, Department of Computer Science\n                  Technische Universit\u00e4t Berlin1991."},{"key":"21_CR14","first-page":"175","volume-title":"Performability of a Token Bus Network under Transient Fault Conditions","author":"JF Meyer","year":"1989","unstructured":"J.F. Meyer, K.H. Muralidhar and W.H. Sanders, \u201cPerformability of a Token Bus Network under Transient Fault Conditions\u201d, Proc. 19th Int. Symp. on Fault-Tolerant Computing, Chicago Illinois, pp. 175\u2013182,1989."},{"key":"21_CR15","volume-title":"Queues, Inventories, and Maintenance: The Analysis of Operational Systems with Variable Demand and Supply","author":"PM Morse","year":"1958","unstructured":"P.M. Morse, \u201cQueues, Inventories, and Maintenance: The Analysis of Operational Systems with Variable Demand and Supply\u201d, John Wiley & Sons, 1958."},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"AL Reibman","year":"1988","unstructured":"A.L. Reibman and K.S. Trivedi, \u201cNumerical Transient Analysis of Markov Models\u201d, Computers & Operations Research, 15, pp. 19\u201336,1988.","journal-title":"Computers & Operations Research"},{"key":"21_CR17","unstructured":"W.H. Sanders and J.F. Meyer, \u201cMETASAN: A Performability Evaluation Tool based on Stochastic Activity Networks\u201d, Proc. of the ACM-IEEE Comp. Soc. Fall Joint Comp. Confpp. 807\u2013816"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"V.L. Wallace and R.S. Rosenberg, \u201cMarkovian Models and Numerical Analysis of Computer Systems Behavior\u201d, Proc. of the ACM-IEEE Comp. Soc. Spring Joint Comp. Confpp. 141\u2013148, 1966.","DOI":"10.1145\/1464182.1464198"}],"container-title":["Informatik-Fachberichte","Messung, Modellierung und Bewertung von Rechensystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76934-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T03:10:12Z","timestamp":1606273812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76934-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545507","9783642769344"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76934-4_21","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}