{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:40:53Z","timestamp":1725745253097},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407246"},{"type":"electronic","value":"9783642407253"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40725-3_14","type":"book-chapter","created":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T23:09:51Z","timestamp":1376867391000},"page":"176-190","source":"Crossref","is-referenced-by-count":4,"title":["Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kumiko","family":"Tadano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"14_CR1","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. SW Eng.\u00a020(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. SW Eng."},{"key":"14_CR2","unstructured":"Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Int. Comp. Perf. and Dependability Symp. - IPDS 1995, pp. 124\u2013133 (1995)"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/TII.2010.2098415","volume":"7","author":"S. Bernardi","year":"2011","unstructured":"Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment of UML design using time Petri net bound techniques. IEEE Transactions on Industrial Informatics\u00a07(1), 90\u2013104 (2011)","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on SW Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. on SW Eng."},{"key":"14_CR5","unstructured":"Bobbio, A., Puliafito, A., Scarpa, M., Telek, M.: WebSPN: a web-accessible Petri net tool. In: Proc. Conf on Web-based Modeling and Simulation (1998)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Bruneo, D., Distefano, S., Longo, F., Scarpa, M.: Stochastic evaluation of QoS in service-based systems. IEEE Trans. on Parallel and Distributed Systems (2012)","DOI":"10.1109\/TPDS.2012.313"},{"issue":"5","key":"14_CR7","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G. Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. Journal of SW Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"Int. Journal of SW Tools for Technology Transfer"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/TR.1977.5215072","volume":"26","author":"L. Burdick","year":"1977","unstructured":"Burdick, L., Fussell, J.B., Rasmuson, D., Wilson, J.: Phased mission analysis: a review of new developments and an application. IEEE Trans. on Rel.\u00a026(1), 43\u201349 (1977)","journal-title":"IEEE Trans. on Rel."},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L. Carnevali","year":"2009","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. on SW Eng.\u00a035(2), 178\u2013194 (2009)","journal-title":"IEEE Trans. on SW Eng."},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-24270-0_30","volume-title":"Computer Safety, Reliability, and Security","author":"L. Carnevali","year":"2011","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-Markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 409\u2013422. Springer, Heidelberg (2011)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Putting preemptive time Petri nets to work in a V-model SW life cycle. IEEE Trans. on SW Eng.\u00a037(6) (November\/December 2011)","DOI":"10.1109\/TSE.2011.4"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models. In: 8th Int. Conf. on Quantitative Evaluation of Systems (QEST 2011), pp. 153\u2013154 (2011)","DOI":"10.1109\/QEST.2011.29"},{"issue":"1-3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H. Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval.\u00a020(1-3), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Combacau, M., Berruet, P., Zamai, E., Charbonnaud, P., Khatab, A.: Supervision and monitoring of production systems. In: Proc. IFAC Conf. on Management and Control of Production and Logistics (2000)","DOI":"10.1016\/S1474-6670(17)39514-9"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/24.75332","volume":"40","author":"J.B. Dugan","year":"1991","unstructured":"Dugan, J.B.: Automated analysis of phased-mission reliability. IEEE Trans. on Reliability\u00a040(1), 45\u201352 (1991)","journal-title":"IEEE Trans. on Reliability"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-46429-8_24","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"J.B. Dugan","year":"2000","unstructured":"Dugan, J.B.: Galileo: A tool for dynamic fault tree analysis. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 328\u2013331. Springer, Heidelberg (2000)"},{"issue":"7-8","key":"14_CR17","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A. Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perf. Eval.\u00a069(7-8), 315\u2013335 (2012)","journal-title":"Perf. Eval."},{"issue":"12","key":"14_CR18","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1109\/TC.2001.970572","volume":"50","author":"I. Mura","year":"2001","unstructured":"Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Trans. Comput.\u00a050(12), 1337\u20131351 (2001)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"14_CR19","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1109\/TR.2004.837305","volume":"53","author":"Y. Ou","year":"2004","unstructured":"Ou, Y., Dugan, J.B.: Modular solution of dynamic multi-phase systems. IEEE Transactions on Reliability\u00a053(4), 499\u2013508 (2004)","journal-title":"IEEE Transactions on Reliability"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/5.21067","volume":"77","author":"P.W. Glynn","year":"1989","unstructured":"Glynn, P.W.: A GSMP formalism for discrete-event systems. Proceedings of the IEEE\u00a077, 14\u201323 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1109\/TSMCA.2010.2089513","volume":"41","author":"A. Shrestha","year":"2011","unstructured":"Shrestha, A., Xing, L., Dai, Y.: Reliability analysis of multistate phased-mission systems with unordered and ordered states. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a041(4), 625\u2013636 (2011)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-24270-0_22","volume-title":"Computer Safety, Reliability, and Security","author":"K. Tadano","year":"2011","unstructured":"Tadano, K., Xiang, J., Kawato, M., Maeno, Y.: Automatic synthesis of SRN models from system operation templates for availability analysis. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 296\u2013309. Springer, Heidelberg (2011)"},{"key":"14_CR23","volume-title":"Probability and statistics with reliability, queuing, and computer science applications","author":"K.S. Trivedi","year":"2001","unstructured":"Trivedi, K.S.: Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York (2001)"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E. Vicario","year":"2001","unstructured":"Vicario, E.: Static analysis and dynamic steering of time dependent systems using time Petri nets. IEEE Trans. on SW Eng.\u00a027(1), 728\u2013748 (2001)","journal-title":"IEEE Trans. on SW Eng."},{"issue":"5","key":"14_CR25","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E. Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. on SW Eng.\u00a035(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. on SW Eng."},{"issue":"3","key":"14_CR26","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/TR.2007.903268","volume":"56","author":"D. Wang","year":"2007","unstructured":"Wang, D., Trivedi, K.S.: Reliability analysis of phased-mission system with independent component repairs. IEEE Trans. on Reliability\u00a056(3), 540\u2013551 (2007)","journal-title":"IEEE Trans. on Reliability"},{"key":"14_CR27","unstructured":"Weiss, K.A., Leveson, N., Lundqvist, K., Farid, N., Stringfellow, M.: An analysis of causation in aerospace accidents. In: Digital Avionics Systems Conference (DASC), vol.\u00a01, pp. 4A3\u20134A1. IEEE (2001)"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/TR.2002.1011526","volume":"51","author":"L. Xing","year":"2002","unstructured":"Xing, L., Dugan, J.B.: Analysis of generalized phased-mission system reliability, performance, and sensitivity. IEEE Trans. on Reliability\u00a051(2), 199\u2013211 (2002)","journal-title":"IEEE Trans. on Reliability"},{"issue":"2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/TR.2004.829137","volume":"53","author":"L. Xing","year":"2004","unstructured":"Xing, L., Dugan, J.B.: A separable ternary decision diagram based analysis of generalized phased-mission reliability. IEEE Trans. on Rel.\u00a053(2), 174\u2013184 (2004)","journal-title":"IEEE Trans. on Rel."},{"issue":"5","key":"14_CR30","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s001700170173","volume":"17","author":"R. Yam","year":"2001","unstructured":"Yam, R., Tse, P., Li, L., Tu, P.: Intelligent predictive decision support system for condition-based maintenance. Int. Journal of Advanced Manufacturing Technology\u00a017(5), 383\u2013391 (2001)","journal-title":"Int. Journal of Advanced Manufacturing Technology"},{"issue":"1","key":"14_CR31","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/24.765927","volume":"48","author":"X. Zang","year":"1999","unstructured":"Zang, X., Sun, N., Trivedi, K.S.: A BDD-based algorithm for reliability analysis of phased-mission systems. IEEE Transactions on Reliability\u00a048(1), 50\u201360 (1999)","journal-title":"IEEE Transactions on Reliability"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40725-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T14:29:52Z","timestamp":1558016992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40725-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407246","9783642407253"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40725-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}