{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:30:39Z","timestamp":1725989439433},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003586"},{"type":"electronic","value":"9783030003593"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-030-00359-3_12","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:08:28Z","timestamp":1535609308000},"page":"185-199","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of a Road\/Tramway Intersection by the ORIS Tool"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,31]]},"reference":[{"unstructured":"ACEA: The 2030 urban mobility challenge. Technical report, European Automobile Manufacturers Association, May 2016","key":"12_CR1"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/s40890-016-0017-6","volume":"2","author":"A Agarwal","year":"2016","unstructured":"Agarwal, A., L\u00e4mmel, G.: Modeling seepage behavior of smaller vehicles in mixed traffic conditions using an agent based simulation. Transp. Dev. Econ. 2(2), 12 (2016)","journal-title":"Transp. Dev. Econ."},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/TII.2010.2098415","volume":"7","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment of UML design using time Petri net bound techniques. IEEE Trans. Ind. Inform. 7(1), 90\u2013104 (2011)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.trc.2017.07.002","volume":"82","author":"M Biagi","year":"2017","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS - Level 3. Transp. Res. C-Emerg. 82, 314\u2013336 (2017)","journal-title":"Transp. Res. C-Emerg."},{"issue":"5","key":"12_CR5","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":"2","key":"12_CR6","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. Softw. Eng. 35(2), 178\u2013194 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-23267-6_4","volume-title":"Computer Performance Engineering","author":"L Carnevali","year":"2015","unstructured":"Carnevali, L., Flammini, F., Paolieri, M., Vicario, E.: Non-Markovian performability evaluation of ERTMS\/ETCS level 3. In: Beltr\u00e1n, M., Knottenbelt, W., Bradley, J. (eds.) EPEW 2015. LNCS, vol. 9272, pp. 47\u201362. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23267-6_4"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3141\/2003-05","volume":"2003","author":"D Charypar","year":"2007","unstructured":"Charypar, D., Axhausen, K., Nagel, K.: Event-driven queue-based traffic flow microsimulation. Transp. Res. Rec. 2003, 35\u201340 (2007)","journal-title":"Transp. Res. Rec."},{"issue":"1\u20133","key":"12_CR9","first-page":"333","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 333\u2013357 (1994)","journal-title":"Perform. Eval."},{"unstructured":"Ciuti, I.: Jean-Luc Laugaa: Ingorgo-trappola alla stazione, un rischio anche per la linea 2. Repubblica.it (2014). \nhttp:\/\/goo.gl\/QxrXR4","key":"12_CR10"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"DL Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 197\u2013212. Springer, Heidelberg (1990). \nhttps:\/\/doi.org\/10.1007\/3-540-52148-8_17"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/978-3-319-02447-9_62","volume-title":"Pedestrian and Evacuation Dynamics 2012","author":"C Dobler","year":"2014","unstructured":"Dobler, C., L\u00e4mmel, G.: Integration of a multi-modal simulation module into a framework for large-scale transport systems simulation. In: Weidmann, U., Kirsch, U., Schreckenberg, M. (eds.) Pedestrian and Evacuation Dynamics 2012, pp. 739\u2013754. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-02447-9_62"},{"unstructured":"ERTRAC: ERTRAC road transport scenario 2030+ \u201croad to implementation\u201d. Technical report, European Road Transport Research Advisory Council, October 2009","key":"12_CR13"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.trc.2017.09.018","volume":"85","author":"H Fujii","year":"2017","unstructured":"Fujii, H., Uchida, H., Yoshimura, S.: Agent-based simulation framework for mixed traffic of cars, pedestrians and trams. Transp. Res. C-Emerg. 85, 234\u2013248 (2017)","journal-title":"Transp. Res. C-Emerg."},{"issue":"3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1142\/S0129183198000303","volume":"9","author":"C Gawron","year":"1998","unstructured":"Gawron, C.: An iterative algorithm to determine the dynamic user equilibrium in a traffic simulation model. Int. J. Mod. Phys. C 9(3), 393\u2013407 (1998)","journal-title":"Int. J. Mod. Phys. C"},{"key":"12_CR16","volume-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","author":"R German","year":"2000","unstructured":"German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley, Hoboken (2000)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0191-2615(95)00022-4","volume":"30","author":"A Higgins","year":"1996","unstructured":"Higgins, A., Kozan, E., Ferreira, L.: Optimal scheduling of trains on a single line track. Transp. Res. B-Methodol. 30(2), 147\u2013161 (1996)","journal-title":"Transp. Res. B-Methodol."},{"issue":"7\u20138","key":"12_CR18","doi-asserted-by":"publisher","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."},{"issue":"47","key":"12_CR19","doi-asserted-by":"publisher","first-page":"9971","DOI":"10.1088\/0305-4470\/35\/47\/303","volume":"35","author":"BS Kerner","year":"2002","unstructured":"Kerner, B.S., Klenov, S.L., Wolf, D.E.: Cellular automata approach to three-phase traffic theory. J. Phys. A: Math. Gen. 35(47), 9971\u201310013 (2002)","journal-title":"J. Phys. A: Math. Gen."},{"unstructured":"Krajzewicz, D., Erdmann, J., H\u00e4rri, J., Spyropoulos, T.: Including pedestrian and bicycle traffic into the traffic simulation SUMO. In: ITS 2014, 10th ITS European Congress, 16\u201319 June 2014, Helsinki, Finland (2014)","key":"12_CR20"},{"unstructured":"Krajzewicz, D., Hertkorn, G., R\u00f6ssel, C., Wagner, P.: SUMO (simulation of urban mobility) - an open-source traffic simulation. In: 4th Middle East Symposium on Simulation and Modelling, pp. 183\u2013187 (2002)","key":"12_CR21"},{"doi-asserted-by":"crossref","unstructured":"Martina, S., Paolieri, M., Papini, T., Vicario, E.: Performance evaluation of Fischer\u2019s protocol through steady-state analysis of Markov regenerative processes. In: 2016 IEEE 24th International Symposium on MASCOTS, pp. 355\u2013360 (2016)","key":"12_CR22","DOI":"10.1109\/MASCOTS.2016.72"},{"issue":"2","key":"12_CR23","first-page":"73","volume":"43","author":"E Nagy","year":"2015","unstructured":"Nagy, E., Csisz\u00e1r, C.: Analysis of delay causes in railway passenger transportation. Period. Polytech. Transp. Eng. 43(2), 73\u201380 (2015)","journal-title":"Period. Polytech. Transp. Eng."},{"issue":"29","key":"12_CR24","doi-asserted-by":"publisher","first-page":"5090","DOI":"10.1016\/j.atmosenv.2011.06.036","volume":"45","author":"J Ondr\u00e1\u010dek","year":"2011","unstructured":"Ondr\u00e1\u010dek, J., et al.: Contribution of the road traffic to air pollution in the Prague city (busy speedway and suburban crossroads). Atmos. Environ. 45(29), 5090\u20135100 (2011)","journal-title":"Atmos. Environ."},{"issue":"2","key":"12_CR25","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/TSE.2015.2468717","volume":"42","author":"M Paolieri","year":"2016","unstructured":"Paolieri, M., Horv\u00e1th, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Softw. Eng. 42(2), 153\u2013169 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"45","key":"12_CR26","doi-asserted-by":"publisher","first-page":"3973","DOI":"10.1016\/j.physleta.2011.09.037","volume":"375","author":"G Peng","year":"2011","unstructured":"Peng, G., Cai, X., Liu, C., Cao, B., Tuo, M.: Optimal velocity difference model for a car-following theory. Phys. Lett. A 375(45), 3973\u20133977 (2011)","journal-title":"Phys. Lett. A"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.trc.2017.07.014","volume":"83","author":"J Shi","year":"2017","unstructured":"Shi, J., Sun, Y., Schonfeld, P., Qi, J.: Joint optimization of tram timetables and signal timing adjustments at intersections. Transp. Res. C-Emerg. 83, 104\u2013119 (2017)","journal-title":"Transp. Res. C-Emerg."},{"issue":"2","key":"12_CR28","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.1007\/s11071-012-0542-8","volume":"70","author":"T Tang","year":"2012","unstructured":"Tang, T., Wang, Y., Yang, X., Wu, Y.: A new car-following model accounting for varying road condition. Nonlinear Dyn. 70(2), 1397\u20131405 (2012)","journal-title":"Nonlinear Dyn."},{"issue":"5","key":"12_CR29","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/MCOM.2009.4939290","volume":"47","author":"OK Tonguz","year":"2009","unstructured":"Tonguz, O.K., Viriyasitavat, W., Bai, F.: Modeling urban traffic: a cellular automata approach. IEEE Commun. Mag. 47(5), 142\u2013150 (2009)","journal-title":"IEEE Commun. Mag."},{"issue":"1","key":"12_CR30","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. Softw. Eng. 27(1), 728\u2013748 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR31","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, 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"12_CR32","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/j.tra.2005.08.001","volume":"40","author":"J Yang","year":"2006","unstructured":"Yang, J., Deng, W., Wang, J., Li, Q., Wang, Z.: Modeling pedestrians\u2019 road crossing behavior in traffic system micro-simulation in China. Transp. Res. A-Policy 40(3), 280\u2013290 (2006)","journal-title":"Transp. Res. A-Policy"},{"issue":"1","key":"12_CR33","first-page":"17","volume":"11","author":"S Yoshimura","year":"2006","unstructured":"Yoshimura, S.: MATES : multi-agent based traffic and environmental simulator-theory, implementation and practical application. Comput. Model. Eng. Sci. 11(1), 17\u201325 (2006)","journal-title":"Comput. Model. Eng. Sci."},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.trc.2014.01.007","volume":"40","author":"W Zeng","year":"2014","unstructured":"Zeng, W., Chen, P., Nakamura, H., Iryo-Asano, M.: Application of social force model to pedestrian behavior analysis at signalized crosswalk. Transp. Res. C-Emerg. 40, 143\u2013159 (2014)","journal-title":"Transp. Res. C-Emerg."},{"issue":"2","key":"12_CR35","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1007\/s11071-012-0524-x","volume":"70","author":"LJ Zheng","year":"2012","unstructured":"Zheng, L.J., Tian, C., Sun, D.H., Liu, W.N.: A new car-following model with consideration of anticipation driving behavior. Nonlinear Dyn. 70(2), 1205\u20131211 (2012)","journal-title":"Nonlinear Dyn."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00359-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:18:13Z","timestamp":1535609893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00359-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003586","9783030003593"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00359-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}