{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T08:52:29Z","timestamp":1742633549180},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603009"},{"type":"electronic","value":"9783540447894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0024314","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T11:02:27Z","timestamp":1132398147000},"page":"165-179","source":"Crossref","is-referenced-by-count":12,"title":["Steady state analysis of Markov Regenerative SPN with age memory policy"],"prefix":"10.1007","author":[{"given":"Mikl\u00f3s","family":"Telek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bobbio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"Jereb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Puliafito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"12_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":"12_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":"12_CR3","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":"12_CR4","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, pages 124\u2013133. IEEE CS Press, 1995.","DOI":"10.1109\/IPDS.1995.395811"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"V. Catania, A. Puliafito, M. Scarpa, and L. Vita. Concurrent generalized petri nets. In Proceedings of Numerical Solution of Markov Chains, pages 359\u2013382, Raleigh, NC, 1995.","DOI":"10.1007\/978-1-4615-2241-6_21"},{"key":"12_CR6","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":"12_CR7","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":"12_CR8","volume-title":"Introduction to Stochastic Processes","author":"E. Cinlar","year":"1975","unstructured":"E. Cinlar. Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs, 1975."},{"key":"12_CR9","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":"12_CR10","doi-asserted-by":"crossref","unstructured":"R. German. New results for the analysis of deterministic and stochastic Petri nets. In International Computer Performance and Dependability Symposium \u2014 IPDS95, pages 114\u2013123. IEEE CS Press, 1995.","DOI":"10.1109\/IPDS.1995.395812"},{"key":"12_CR11","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":"12_CR12","doi-asserted-by":"publisher","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":"12_CR13","doi-asserted-by":"crossref","unstructured":"M. Telek and A. Bobbio. Markov regenerative stochastic Petri nets with age type general transitions. In 16-th International Conference Application and Theory of Petri Nets, June 1995.","DOI":"10.1007\/3-540-60029-9_55"},{"key":"12_CR14","unstructured":"Mikl\u00f3s Telek. Some advanced reliability modelling techniques. Phd Thesis, Hungarian Academy of Science, 1994."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Computing and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:57:07Z","timestamp":1586570227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603009","9783540447894"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0024314","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}