{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:27:31Z","timestamp":1759073251886},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672609"},{"type":"electronic","value":"9783540464297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_13","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:52:33Z","timestamp":1192877553000},"page":"171-187","source":"Crossref","is-referenced-by-count":16,"title":["Analysis and Evaluation of Non-Markovian Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Andr\u00e1s","family":"Horv\u00e1th","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Puliafito","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Scarpa","sequence":"additional","affiliation":[]},{"given":"Mikl\u00f3s","family":"Telek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/32.29483","volume":"SE-15","author":"M. Ajmone Marsan","year":"1989","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, SE-15:832\u2013846, 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR2","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. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"13_CR3","unstructured":"A. Bobbio, A. Horv\u00e1th, M. Scarpa, and M. Telek. Acyclic discrete phase type distributions. Part 1: Properties and canonical forms. Technical report, Technical University of Budapest, 1999."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek, and K. Trivedi. Preemptive repeat identical transitions in Markov Regenerative Stochastic Petri Nets. In 6-th International Conference on Petri Nets and Performance Models-PNPM95, pages 113\u2013122. IEEE Computer Society, 1995.","DOI":"10.1109\/PNPM.1995.524321"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"A. Bobbio and M. Telek. Markov regenerative SPN with non-overlapping activity cycles. In International Computer Performance and Dependability Symposium-IPDS95, pages 124\u2013133. IEEE CS Press, 1995.","DOI":"10.1109\/IPDS.1995.395811"},{"key":"13_CR6","unstructured":"G. Chiola. GreatSPN 1.5 Software architecture. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation, pages 121\u2013136. Elsevier Science Publishers, 1992."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H. Choi","year":"1994","unstructured":"Hoon Choi, V.G. Kulkarni, and K. Trivedi. Markov regenerative stochastic Petri nets. Performance Evaluation, 20:337\u2013357, 1994.","journal-title":"Performance Evaluation"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G. Ciardo","year":"1994","unstructured":"G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20:506\u2013515, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"G. Ciardo and R. Zijal. Discrete deterministic and stochastic petri nets. Technical report, NASA, 1996.","DOI":"10.1007\/978-1-4615-2241-6_20"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/52.84218","volume":"8","author":"J.A. Couvillon","year":"1991","unstructured":"J.A. Couvillon, R. Freire, R. Johnson, W.D. Obal, M.A. Qureshi, M. Rai, W. Sanders, and J.E. Tvedt. Performability modeling with UltrasSAN. IEEE Software, 8:69\u201380, September 1991.","journal-title":"IEEE Software"},{"key":"13_CR11","unstructured":"A. Cumani. Esp-A package for the evaluation of stochastic Petri nets with phasetype distributed transition times. In Proceedings International Workshop Timed Petri Nets, pages 144\u2013151, Torino (Italy), 1985. IEEE Computer Society Press no. 674."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"R. German. Markov Regenerative Stochastic Petri Nets with general execution policies: supplementary variable analysis and a prototype tool. In 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS\u201998). Palma de Mallorca, Spain, September 14\u201318, 1998.","DOI":"10.1007\/3-540-68061-6_21"},{"key":"13_CR13","unstructured":"R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNET-A toolkit for evaluating non-markovian stochastic Petri nets. Report No. 19-Technische Universit\u00e4t Berlin, 1994."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0166-5316(94)90020-5","volume":"20","author":"R. German","year":"1994","unstructured":"R. German and C. Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables. Performance Evaluation, 20:317\u2013335, 1994.","journal-title":"Performance Evaluation"},{"key":"13_CR15","unstructured":"A. Horv\u00e1th, A. Puliafito, M. Scarpa, M. Telek, O. Tomarchio. Design and evaluation of a web-based non-markovian stochastic Petri net Tool. In The Thirteen International Symposium on Computer and Information Science (ISCIS\u201998), Belek (Antalia, Turkey), October 1998."},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0166-5316(93)E0035-4","volume":"22","author":"C. Lindemann","year":"1995","unstructured":"C. Lindemann. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Performance Evaluation, 22:3\u201321, 1995.","journal-title":"Performance Evaluation"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"A. Puliafito, M. Scarpa, and K.S. Trivedi. Petri nets with k simultaneously enabled generally distributed timed transitions. Performance Evaluation, 32 n.1, February 1998.","DOI":"10.1016\/S0166-5316(97)00013-8"},{"key":"13_CR18","volume-title":"Non Markovian Stochastic Petri Nets with Concurrent Generally Distributed Transitions","author":"M. Scarpa","year":"1999","unstructured":"M. Scarpa. Non Markovian Stochastic Petri Nets with Concurrent Generally Distributed Transitions. PhD Thesis, Universit\u00e0 di Torino, Torino, Italy, 1999."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:04:23Z","timestamp":1556906663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}