{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:04Z","timestamp":1750306264664,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"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-57861-3_15","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"243-263","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Evaluation of a Control Room Application"],"prefix":"10.1007","author":[{"given":"Elvio Gilberto","family":"Amparore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa","family":"Landini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1986. LNCS, vol. 266, pp. 132\u2013145. Springer, Heidelberg (1987). doi: 10.1007\/3-540-18086-9_23"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2, 93\u2013122 (1984). http:\/\/doi.acm.org\/10.1145\/190.191","journal-title":"ACM Trans. Comput. Syst."},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-10696-0_13","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G.: A new greatSPN GUI for GSPN editing and CSLTA model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170\u2013173. Springer, Cham (2014). doi: 10.1007\/978-3-319-10696-0_13"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Amparore, E.G., Barbot, B., Beccuti, M., Donatelli, S., Franceschinis, G.: Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. In: Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 253\u2013264. ACM (2013)","DOI":"10.1145\/2486092.2486124"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Amparore, E.G., Beccuti, M., Donatelli, S., Franceschinis, G.: Probe automata for passage time specification. In: Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems, QEST 2011, pp. 101\u2013110. IEEE Computer Society, Washington, DC (2011)","DOI":"10.1109\/QEST.2011.20"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-43425-4_2","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2016","unstructured":"Amparore, E.G., Donatelli, S.: Optimal aggregation of components for the solution of Markov Regenerative Processes. In: Agha, G., Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 19\u201334. Springer, Cham (2016). doi: 10.1007\/978-3-319-43425-4_2"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1093\/comjnl\/bxq056","volume":"54","author":"G Balbo","year":"2010","unstructured":"Balbo, G., Beccuti, M., De Pierro, M., Franceschinis, G.: First passage time computation in tagged GSPNs with queue places. Comput. J. 54, 653\u2013673 (2010). First published online 22 July 2010","journal-title":"Comput. J."},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a statistical model checker for the hybrid automata stochastic logic. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST 2011), pp. 143\u2013144. IEEE Computer Society Press, Aachen, September 2011","DOI":"10.1109\/QEST.2011.24"},{"key":"15_CR10","doi-asserted-by":"publisher","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: HASL: an expressive language for statistical verification of stochastic models. In: Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011), Cachan, France, pp. 306\u2013315, May 2011","DOI":"10.4108\/icst.valuetools.2011.245710"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0166-5316(98)00005-4","volume":"32","author":"F Bause","year":"1998","unstructured":"Bause, F., Buchholz, P.: Queueing Petri nets with product form solution. Perform. Eval. 32(4), 265\u2013299 (1998)","journal-title":"Perform. Eval."},{"issue":"4","key":"15_CR12","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s100090100065","volume":"3","author":"S Bernardi","year":"2001","unstructured":"Bernardi, S., Donatelli, S., Horv\u00e1th, A.: Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. (STTT) 3(4), 417\u2013430 (2001)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"11","key":"15_CR13","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-87412-6_10","volume-title":"Computer Performance Engineering","author":"A Clark","year":"2008","unstructured":"Clark, A., Gilmore, S.: State-aware performance analysis with eXtended stochastic probes. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 125\u2013140. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-87412-6_10"},{"key":"15_CR15","unstructured":"Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: HYDRA: HYpergraph-based Distributed Response-time Analyser. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), pp. 215\u2013219, June 2003"},{"issue":"2","key":"15_CR16","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/TSE.2008.108","volume":"35","author":"S Donatelli","year":"2009","unstructured":"Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL $$^\\text{ TA }$$ TA . IEEE Trans. Softw. Eng. 35(2), 224\u2013240 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR17","unstructured":"Dugdale, J., Pavard, J., Soubie, B.: A pragmatic development of a computer simulation of an emergency call center. In: Designing Cooperative Systems: The Use of Theories and Models, pp. 241\u2013256 (2000)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","volume":"44","author":"R German","year":"2001","unstructured":"German, R.: Iterative analysis of Markov regenerative models. Perform. Eval. 44, 51\u201372 (2001)","journal-title":"Perform. Eval."},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-1-4615-2241-6_12","volume-title":"Computations with Markov Chains","author":"J Hillston","year":"1995","unstructured":"Hillston, J.: Compositional Markovian modelling using a process algebra. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 177\u2013196. Springer, Heidelberg (1995)"},{"issue":"1\u20134","key":"15_CR20","first-page":"237","volume":"44","author":"WDO Ii","year":"2001","unstructured":"Ii, W.D.O., Sanders, W.H.: Measure-adaptive state-space construction. Perform. Eval. 44(1\u20134), 237\u2013258 (2001). http:\/\/dx.doi.org\/10.1016\/S0166-5316(00)00052-3","journal-title":"Perform. Eval."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Jain, S., McLean, C.: Simulation for emergency response: a framework for modeling and simulation for emergency response. In: Proceedings of the 35th Conference on Winter Simulation: Driving Innovation, Winter Simulation Conference, pp. 1068\u20131076 (2003)","DOI":"10.6028\/NIST.IR.7071"},{"key":"15_CR22","volume-title":"Modeling and Analysis of Stochastic Systems","author":"VG Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman & Hall Ltd., London (1995)"},{"key":"15_CR23","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1994","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1994)"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.peva.2014.07.023","volume":"80","author":"MA QV Lima de","year":"2014","unstructured":"de QV Lima, M.A., Maciel, P.R., Silva, B., Guimar\u00e3es, A.P.: Performability evaluation of emergency call center. Perform. Eval. 80, 27\u201342 (2014)","journal-title":"Perform. Eval."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:26Z","timestamp":1750221026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}