{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:35:50Z","timestamp":1743132950684,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_30","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"409-422","source":"Crossref","is-referenced-by-count":11,"title":["A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Ridi","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 33\u201348. Springer, Heidelberg (2001)"},{"issue":"3","key":"30_CR2","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."},{"issue":"14","key":"30_CR3","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 Construction of Abstract State Spaces for Petri Nets and Time Petri Nets. International Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"International Journal of Production Research"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL: a Tool-Suite for Automatic Verification of Real-Time Systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066. Springer, Heidelberg (1996)"},{"key":"30_CR6","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":"30_CR7","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Mura, I., Chiaradonna, S., Filippini, R., Poli, S., Sandrini, F.: DEEM: a tool for the dependability modeling and evaluation of multiple phased systems. In: IEEE Int. Conf. on Dependable Systems and Networks, DSN (June 2000)","DOI":"10.1109\/ICDSN.2000.857541"},{"issue":"5","key":"30_CR8","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 Software Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"Int. Journal of Software Tools for Technology Transfer"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Giuntini, J., Vicario, E.: A symbolic approach to quantitative analysis of preemptive real-time systems with non-markovian temporal parameters. In: VALUETOOLS (May 2011)","DOI":"10.4108\/icst.valuetools.2011.245728"},{"issue":"2","key":"30_CR10","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":"30_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., (accepted for publication)","DOI":"10.1109\/TSE.2011.4"},{"key":"30_CR12","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: Partial stochastic characterization of timed runs over DBM domains. In: Proc. of the 9th International Workshop on Performability Modeling of Computer and Communication Systems (September 2009)"},{"key":"30_CR13","unstructured":"CENELEC. EN 50128 - Railway applications: SW for railway control and protection systems (1997)"},{"issue":"7","key":"30_CR14","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. On SW Eng.\u00a020(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. On SW Eng."},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: M\u00f6bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: IEEE\/IFIP Int. Conf. on Dependable Systems and Networks (DSN), pp. 353\u2013358 (2009)","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"1","key":"30_CR16","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":"8","key":"30_CR17","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Inf. Comput.\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"issue":"2","key":"30_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2004.1265815","volume":"30","author":"G. Bucci","year":"2004","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed State Space Analysis of Real Time Preemptive Systems. IEEE Trans. SW Eng.\u00a030(2), 97\u2013111 (2004)","journal-title":"IEEE Trans. SW Eng."},{"key":"30_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.: Romeo: A Tool for Analyzing Time Petri Nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Codetta-Raiteri, D., Franceschinis, G.: Draw-net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. In: Int. Conf. on the Quantitative Evaluation of Systems (2005)","DOI":"10.1109\/QEST.2005.10"},{"key":"30_CR21","first-page":"84","volume-title":"Proc. of the IEEE","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Proc. of the IEEE, pp. 84\u201399. IEEE, Los Alamitos (2003)"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Horvath, A., Ridi, L., Vicario, E.: Transient analysis of generalised semi-markov processes using transient stochastic state classes. In: Proc. of the Int. Conf. on Quant. Eval. of Systems, QEST 2010 (2010)","DOI":"10.1109\/QEST.2010.37"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: IEEE Int. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 413\u2013416 (2010)","DOI":"10.1109\/MASCOTS.2010.54"},{"key":"30_CR24","volume-title":"Modeling and analysis of stochastic systems","author":"V.G. Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and analysis of stochastic systems. Chapman & Hall, Ltd., London (1995)"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"Jordan, P.: IEC 62304 International Standard Edition 1.0 Medical device software - Software life cycle processes. In: The Institution of Engineering and Technology Seminar on Software for Medical Devices 2006 (2006)","DOI":"10.1049\/ic:20060141"},{"issue":"9","key":"30_CR26","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P., Farber, D.J.: Recoverability of Communication Protocols. IEEE Trans. on Comm.\u00a024(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. on Comm."},{"key":"30_CR27","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"},{"key":"30_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for Modeling Real-Time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"30_CR29","unstructured":"Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"issue":"2","key":"30_CR30","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"R.A. Sahnerand","year":"1987","unstructured":"Sahnerand, R.A., Trivedi, K.S.: Reliability Modeling Using SHARPE. IEEE Trans. on Reliability\u00a036(2), 186\u2013193 (1987)","journal-title":"IEEE Trans. on Reliability"},{"key":"30_CR31","unstructured":"The Mathworks. Simulink, http:\/\/www.mathworks.com\/products\/simulink"},{"issue":"4","key":"30_CR32","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"K.S. Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.A.: Sharpe at the age of twenty two. ACM SIGMETRICS Perf. Eval. Review\u00a036(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Perf. Eval. Review"},{"issue":"5","key":"30_CR33","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."},{"key":"30_CR34","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s10270-003-0039-5","volume":"3","author":"V. Vittorini","year":"2004","unstructured":"Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The OsMoSys approach to multi-formalism modeling of systems. Software and Systems Modeling\u00a03, 68\u201381 (2004)","journal-title":"Software and Systems Modeling"},{"key":"30_CR35","doi-asserted-by":"crossref","unstructured":"Zimmermann, A.: Dependability evaluation of complex systems with timenet. In: Proc. Int. Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems, DYADEM-FTS 2010 (2010)","DOI":"10.1145\/1772630.1772639"},{"key":"30_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"A. Zimmermann","year":"2000","unstructured":"Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri Net Modelling and Performability Evaluation with TimeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 188\u2013202. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:49:30Z","timestamp":1560552570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}