{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:57:57Z","timestamp":1725908277421},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665825"},{"type":"electronic","value":"9783319665832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_10","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:02:48Z","timestamp":1502488968000},"page":"152-166","source":"Crossref","is-referenced-by-count":1,"title":["An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines"],"prefix":"10.1007","author":[{"given":"Marco","family":"Biagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Papini","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","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/32.4623","volume":"14","author":"IF Akyildiz","year":"1988","unstructured":"Akyildiz, I.F.: On the exact and approximate throughput analysis of closed queuing networks with blocking. IEEE Trans. Softw. Eng. 14(1), 62\u201370 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.peva.2014.02.005","volume":"75","author":"A Angius","year":"2014","unstructured":"Angius, A., Horv\u00e1th, A., Colledani, M.: Moments of accumulated reward and completion time in markovian models with application to unreliable manufacturing systems. Perform. Eval. 75, 69\u201388 (2014)","journal-title":"Perform. Eval."},{"issue":"2","key":"10_CR3","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0166-5316(02)00099-8","volume":"51","author":"S Balsamo","year":"2003","unstructured":"Balsamo, S., Person\u00e8, V.D.N., Inverardi, P.: A review on queueing network models with finite capacity queues for software architectures performance prediction. Perform. Eval. 51(2), 269\u2013288 (2003)","journal-title":"Perform. Eval."},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-319-46433-6_3","volume-title":"Computer Performance Engineering","author":"M Biagi","year":"2016","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Patara, F., Vicario, E.: A stochastic model-based approach to online event prediction and response scheduling. In: Fiems, D., Paolieri, M., Platis, A.N. (eds.) EPEW 2016. LNCS, vol. 9951, pp. 32\u201347. Springer, Cham (2016). doi: 10.1007\/978-3-319-46433-6_3"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42, 10 (2009)","journal-title":"Computer"},{"issue":"2","key":"10_CR6","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/j.comnet.2011.10.003","volume":"56","author":"D Bruneo","year":"2012","unstructured":"Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Evaluating wireless sensor node longevity through Markovian techniques. Comput. Netw. 56(2), 521\u2013532 (2012)","journal-title":"Comput. Netw."},{"issue":"5","key":"10_CR7","doi-asserted-by":"crossref","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. J. Softw. Tools Technol. Transf. 12(5), 391\u2013403 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-22264-6_3","volume-title":"Quantitative Evaluation of Systems","author":"L Carnevali","year":"2015","unstructured":"Carnevali, L., Nugent, C., Patara, F., Vicario, E.: A continuous-time model-based approach to activity recognition for ambient assisted living. In: Campos, J., Haverkort, B.R. (eds.) QEST 2015. LNCS, vol. 9259, pp. 38\u201353. Springer, Cham (2015). doi: 10.1007\/978-3-319-22264-6_3"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). doi: 10.1007\/978-3-319-08915-7_4"},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/j.cirp.2015.04.122","volume":"64","author":"M Colledani","year":"2015","unstructured":"Colledani, M., Horvath, A., Angius, A.: Production quality performance in manufacturing systems processing deteriorating products. CIRP Ann. Manuf. Technol. 64(1), 431\u2013434 (2015)","journal-title":"CIRP Ann. Manuf. Technol."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Gorecky, D., Schmitt, M., Loskyll, M., Z\u00fchlke, D.: Human-machine-interaction in the industry 4.0 era. In: IEEE International Conference on Industrial Informatics (INDIN), pp. 289\u2013294. IEEE (2014)","DOI":"10.1109\/INDIN.2014.6945523"},{"issue":"4","key":"10_CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol. (TOSEM) 5(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-31271-2","volume-title":"Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems","author":"D Homm","year":"2016","unstructured":"Homm, D., German, R.: Analysis of hierarchical semi-markov processes with parallel regions. In: Remke, A., Haverkort, B.R. (eds.) MMB&DFT 2016. LNCS, vol. 9629. Springer, Cham (2016)"},{"issue":"7\u20138","key":"10_CR14","doi-asserted-by":"crossref","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. Perform. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perform. Eval."},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46029-2_5","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"A Horv\u00e1th","year":"2002","unstructured":"Horv\u00e1th, A., Telek, M.: PhFit: a general phase-type fitting tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 82\u201391. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46029-2_5"},{"key":"10_CR16","series-title":"Springer Texts in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1772-0","volume-title":"Introduction to Modeling and Analysis of Stochastic Systems","author":"V Kulkarni","year":"2011","unstructured":"Kulkarni, V.: Introduction to Modeling and Analysis of Stochastic Systems. Springer Texts in Statistics. Springer, Heidelberg (2011). doi: 10.1007\/978-1-4419-1772-0"},{"key":"10_CR17","doi-asserted-by":"crossref","DOI":"10.1201\/9781315367910","volume-title":"Modeling and Analysis of Stochastic Systems","author":"VG Kulkarni","year":"2016","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. CRC Press, Boca Raton (2016)"},{"issue":"5","key":"10_CR18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.76285","volume":"24","author":"JK Muppala","year":"1991","unstructured":"Muppala, J.K., Woolet, S.P., Trivedi, K.S.: Real-time systems performance in the presence of failures. Computer 24(5), 37\u201347 (1991)","journal-title":"Computer"},{"issue":"4","key":"10_CR19","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1109\/TSE.1986.6312886","volume":"3","author":"HG Perros","year":"1986","unstructured":"Perros, H.G., Altiok, T.: Approximate analysis of open networks of queues with blocking: tandem configurations. IEEE Trans. Softw. Eng. 3, 450\u2013461 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Reinecke, P., Krau\u00df, T., Wolter, K.: Hyperstar: phase-type fitting made easy. In: International Conference on Quantitative Evaluation of Systems (QEST), pp. 201\u2013202. IEEE (2012)","DOI":"10.1109\/QEST.2012.29"},{"issue":"3","key":"10_CR22","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1670679.1670680","volume":"42","author":"F Salfner","year":"2010","unstructured":"Salfner, F., Lenk, M., Malek, M.: A survey of online failure prediction methods. ACM Comput. Surv. (CSUR) 42(3), 10 (2010)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"10_CR23","series-title":"Dependable Computing and Fault-Tolerant Systems","volume-title":"Dependable Computing for Critical Application","author":"WH Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, I.F.: A unified approach for specifying measures of performance, dependability and performability. In: Avi\u017eienis, A., Laprie, J.C. (eds.) Dependable Computing for Critical Application. Dependable Computing and Fault-Tolerant Systems, vol. 4. Springer, Vienna (1991)"},{"key":"10_CR24","series-title":"Probability and Its Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89332-5","volume-title":"Basics of Applied Stochastic Processes","author":"R Serfozo","year":"2009","unstructured":"Serfozo, R.: Basics of Applied Stochastic Processes. Probability and Its Applications. Springer, Heidelberg (2009)"},{"key":"10_CR25","volume-title":"Comparison Methods for Queues and Other Stochastic Models","author":"D Stoyan","year":"1983","unstructured":"Stoyan, D., Daley, D.J.: Comparison Methods for Queues and Other Stochastic Models. Wiley, New York (1983)"},{"issue":"01","key":"10_CR26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Aalst Van der","year":"1998","unstructured":"Van der Aalst, W.M.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"issue":"5","key":"10_CR27","doi-asserted-by":"crossref","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. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,31]],"date-time":"2022-07-31T23:32:24Z","timestamp":1659310344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}