{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:48:19Z","timestamp":1743090499025,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811506369"},{"type":"electronic","value":"9789811506376"}],"license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-981-15-0637-6_5","type":"book-chapter","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T12:09:32Z","timestamp":1575288572000},"page":"55-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Analysis of Probabilistic Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Christian","family":"Nigro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo F.","family":"Sciammarella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.scico.2016.03.004","volume":"128","author":"A Jafari","year":"2016","unstructured":"A. Jafari, E. Khamespanah, M. Sirjani, H. Hermanns, M. Cimini, PTRebeca: modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128, 22\u201350 (2016)","journal-title":"Sci. Comput. Program."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.simpat.2018.07.011","volume":"87","author":"L Nigro","year":"2018","unstructured":"L. Nigro, P.F. Sciammarella, Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87, 343\u2013368 (2018)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"5","key":"5_CR3","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E Vicario","year":"2009","unstructured":"E. Vicario, L. Sassoli, L. Carnevali, Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. on Soft. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"L. Carnevali, L. Grassi, E. Vicario, State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. on SW Eng. 35(2):178\u2013194 (2009)","DOI":"10.1109\/TSE.2008.101"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"F. Cicirelli, C. Nigro, L. Nigro, Qualitative and quantitative evaluation of stochastic Time Petri Nets, in 2015 Federated Conference on Computer Science and Information Systems (FedCSIS), (IEEE, 2015), pp. 763\u2013772","DOI":"10.15439\/2015F69"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"G. Bucci, L. Carnevali, L. Ridi, E. Vicario, Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. on Software Tools for Technology Transfer 12, 391\u2013403 (2010)","DOI":"10.1007\/s10009-010-0156-8"},{"key":"5_CR7","unstructured":"Uppaal, on-line: \nwww.uppaal.org"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"G. Behrmann, A. David, K.G. Larsen, A tutorial on Uppaal, in Formal Methods for the Design of Real-Time Systems, vol. 3185, ed. by M. Bernardo, F. Corradini Lecture Notes in Computer Science (Springer-Verlag, 2004), pp. 200\u2013236","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"A. David, K.G. Larsen, A. Legay, M. Mikucionis, D.B. Poulsen, Uppaal SMC tutorial. Int. J. on Software Tools for Technology Transfer 17, 1\u201319 (2015). \nhttps:\/\/doi.org\/10.1007\/s10009-014-0361-y","DOI":"10.1007\/s10009-014-0361-y"},{"key":"5_CR10","unstructured":"Agha, A., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). \nhttp:\/\/doi.acm.org\/10.1145\/3158668"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"T. Murata, Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"9","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. Commun."},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. Soft. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"E.A. Lee, M. Sirjani, What good are models? in International Conference on Formal Aspects of Component Software, (Springer, Cham, 2018), pp. 3\u201331","DOI":"10.1007\/978-3-030-02146-7_1"},{"issue":"7-8","key":"5_CR15","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/S1569-190X(03)00064-9","volume":"11","author":"L Carullo","year":"2003","unstructured":"L. Carullo, A. Furfaro, L. Nigro, F. Pupo, Modelling and simulation of complex systems using TPN designer. Simul. Model. Pract. Theory 11(7-8), 503\u2013532 (2003)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1504\/IJSPM.2018.090275","volume":"13","author":"C Nigro","year":"2018","unstructured":"C. Nigro, L. Nigro, P.F. Sciammarella, Modelling and analysis of multi-agent systems using UPPAAL SMC. Int. J. Simul. Process Model. 13(1), 73\u201387 (2018)","journal-title":"Int. J. Simul. Process Model."},{"key":"5_CR17","unstructured":"G.D. Plotkin, A structural approach to operational semantics (1981)"},{"key":"5_CR18","unstructured":"M.A. Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with generalized stochastic Petri nets (Wiley, 2004)"}],"container-title":["Advances in Intelligent Systems and Computing","Fourth International Congress on Information and Communication Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-15-0637-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T05:06:03Z","timestamp":1585890363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-15-0637-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,1]]},"ISBN":["9789811506369","9789811506376"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-15-0637-6_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,12,1]]},"assertion":[{"value":"1 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}