{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:40Z","timestamp":1771026760744,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319315584","type":"print"},{"value":"9783319315591","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31559-1_9","type":"book-chapter","created":{"date-parts":[[2016,3,23]],"date-time":"2016-03-23T04:50:20Z","timestamp":1458708620000},"page":"92-106","source":"Crossref","is-referenced-by-count":6,"title":["Analysis of Hierarchical Semi-Markov Processes with Parallel Regions"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Homm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"9_CR1","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.future.2006.02.011","volume":"22","author":"JT Bradley","year":"2006","unstructured":"Bradley, J.T., Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Gener. Comput. Syst. 22(7), 828\u2013837 (2006)","journal-title":"Future Gener. Comput. Syst."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bradley, J., Dingle, N., Harrison, P., Knottenbelt, W.: Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, IL, USA, pp. 62\u201371 (2003)","DOI":"10.1109\/PNPM.2003.1231543"},{"issue":"5","key":"9_CR3","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. J. Softw. Tools Technol. Transf. 12(5), 391\u2013403 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1287\/ijoc.1110.0487","volume":"25","author":"P Buchholz","year":"2013","unstructured":"Buchholz, P., Telek, M.: Rational automata networks: a non-Markovian modeling approach. INFORMS J. Comput. 25(1), 87\u2013101 (2013)","journal-title":"INFORMS J. Comput."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-1-4613-8351-2_11","volume-title":"Linear Algebra, Markov Chains, and Queueing Models","author":"Gianfranco Ciardo","year":"1993","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated generation and analysis of Markov reward models using stochastic reward nets. In: Linear Algebra, Markov Chains, and Queueing Models. The IMA Volumes in Mathematics and its Applications, vol. 48, pp. 145\u2013191. Springer, New York (1993)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dugan, B.J., Trivedi, S.K., Geist, R., Nicola, V.: Extended stochastic petri nets: Applications and analysis. Technical report, Durham, NC, USA (1984)","DOI":"10.21236\/ADA148439"},{"key":"9_CR7","volume-title":"Performance Analysis of Communication Systems","author":"R German","year":"2000","unstructured":"German, R.: Performance Analysis of Communication Systems. Wiley, United Kingdom (2000)"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Prog. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Prog."},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-662-49224-6_3","volume-title":"Software Engineering and Formal Methods","author":"D Homm","year":"2015","unstructured":"Homm, D., Eckert, J., German, R.: Combining time and concurrency in model-based statistical testing of embedded real-time systems. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 22\u201331. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-49224-6_3"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Homm, D., Eckert, J., German, R.: Concurrent streams in Markov chain usage models for statistical testing of complex systems. In: Proceedings of the 30th ACM Symposium on Applied Computing (SAC 2015), Salamanca, Spain (2015)","DOI":"10.1145\/2695664.2695914"},{"key":"9_CR11","volume-title":"Performance Modelling with Deterministic and Stochastic Petri Nets","author":"C Lindemann","year":"1998","unstructured":"Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley, New York (1998)"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0166-5316(87)90039-3","volume":"7","author":"RA Marie","year":"1987","unstructured":"Marie, R.A., Reibman, A.L., Trivedi, K.S.: Transient analysis of acyclic Markov chains. Perform. Eval. 7(3), 175\u2013194 (1987)","journal-title":"Perform. Eval."},{"key":"9_CR13","unstructured":"OMNeT++: An object-oriented modular discrete event network simulation framework. http:\/\/www.omnetpp.org . Accessed 26 October 2015"},{"key":"9_CR14","unstructured":"Papyrus: Graphical editing tool for UML 2. http:\/\/www.eclipse.org\/papyrus . Accessed 26 October 2015"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0166-5316(97)00013-8","volume":"32","author":"A Puliafito","year":"1998","unstructured":"Puliafito, A., Scarpa, M., Trivedi, K.: Petri nets with k simultaneously enabled generally distributed timed transitions. Perform. Eval. 32(1), 1\u201334 (1998)","journal-title":"Perform. Eval."},{"key":"9_CR16","unstructured":"Schneider, V., German, R.: Integration of test-driven agile simulation approach in service-oriented tool environment. In: Proceedings of the 46th Annual Simulation Symposium (ANSS 2013), San Diego, CA, USA, pp. 11: 1\u201311: 7 (2013)"},{"key":"9_CR17","unstructured":"Siegl, S., Dulz, W., German, R., Kiffe, G.: Model-driven testing based on Markov chain usage models in the automotive domain. In: Proceedings of the 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France (2009)"},{"key":"9_CR18","unstructured":"Siegl, S., German, R.: Model-driven testing with timed usage models in the automotive domain. In: Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), Mysuru, India (2009)"},{"issue":"5","key":"9_CR19","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. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31559-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:39:04Z","timestamp":1748817544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31559-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319315584","9783319315591"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31559-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}