{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:45:21Z","timestamp":1742388321506},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:19Z","timestamp":1330277479000},"page":"471-489","source":"Crossref","is-referenced-by-count":9,"title":["Markov Regenerative Stochastic Petri Nets with age type general transitions"],"prefix":"10.1007","author":[{"given":"Mikl\u00f3s","family":"Telek","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Bobbio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/32.29483","volume":"SE-15","author":"M. A. 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":"27_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Lecture Notes in Computer Science, volume 266, pages 132\u2013145. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"27_CR3","first-page":"27","volume":"XLIII","author":"A. Bobbio","year":"1992","unstructured":"A. Bobbio. Stochastic reward models in performance\/reliability analysis. Journal on Communications, XLIII:27\u201335, January 1992.","journal-title":"Journal on Communications"},{"key":"27_CR4","unstructured":"A. Bobbio and M. Telek. Task completion time. In Proceedings 2nd International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS2), 1993."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"A. Bobbio and M. Telek. Computational restrictions for SPN with generally distributed transition times. In D. Hammer K. Echtle and D. Powell, editors, First European Dependable Computing Conference (EDCC-1), Lecture Notes in Computer Science, volume 852, pages 131\u2013148, 1994.","DOI":"10.1007\/3-540-58426-9_128"},{"key":"27_CR6","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 \u2014 IPDS95, April 1995.","DOI":"10.1109\/IPDS.1995.395811"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Hoon Choi, V.G. Kulkarni, and K. Trivedi. Transient analysis of deterministic and stochastic Petri nets. In Proceedings of the 14-th International Conference on Application and Theory of Petri Nets, Chicago, June 1993.","DOI":"10.1007\/3-540-56863-8_46"},{"key":"27_CR8","doi-asserted-by":"crossref","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":"27_CR9","doi-asserted-by":"crossref","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":"27_CR10","doi-asserted-by":"crossref","unstructured":"G. Ciardo and C. Lindemann. Analysis of deterministic and stochastic Petri nets. In Proceedings International Workshop on Petri Nets and Performance Models \u2014 PNPM93, pages 160\u2013169. IEEE Computer Society, 1993.","DOI":"10.1109\/PNPM.1993.393454"},{"key":"27_CR11","volume-title":"Introduction to Stochastic Processes","author":"E. Cinlar","year":"1975","unstructured":"E. Cinlar. Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs, 1975."},{"key":"27_CR12","unstructured":"A. Cumani. Esp \u2014 A package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In Proceedings International Workshop Timed Petri Nets, pages 144\u2013151, Torino (Italy), 1985. IEEE Computer Society Press no. 674."},{"key":"27_CR13","doi-asserted-by":"crossref","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":"27_CR14","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1002\/j.1538-7305.1982.tb03096.x","volume":"61","author":"D.L. Jagerman","year":"1982","unstructured":"D.L. Jagerman. An inversion technique for the Laplace transform. The Bell System Technical Journal, 61:1995\u20132002, October 1982.","journal-title":"The Bell System Technical Journal"},{"key":"27_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0164-1212(86)90038-5","volume":"6","author":"V.G. Kulkarni","year":"1986","unstructured":"V.G. Kulkarni, V.F. Nicola, and K. Trivedi. On modeling the performance and reliability of multi-mode computer systems. The Journal of Systems and Software, 6:175\u2013183, 1986.","journal-title":"The Journal of Systems and Software"},{"key":"27_CR16","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0166-5316(93)90028-S","volume":"18","author":"C. Lindemann","year":"1993","unstructured":"C. Lindemann. An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. Performance Evaluation, 18:75\u201395, 1993.","journal-title":"Performance Evaluation"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","volume":"40","author":"A. Reibman","year":"1989","unstructured":"A. Reibman, R. Smith, and K.S. Trivedi. Markov and Markov reward model transient analysis: an overview of numerical approaches. European Journal of Operational Research, 40:257\u2013267, 1989.","journal-title":"European Journal of Operational Research"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:15Z","timestamp":1605648495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}