{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:20Z","timestamp":1750220540743,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T00:00:00Z","timestamp":1618790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3447545.3451205","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T16:51:45Z","timestamp":1618159905000},"page":"155-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Performance Modelling of Intelligent Transportation Systems: Experience Report"],"prefix":"10.1145","author":[{"given":"Lorenzo","family":"Pagliari","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}]},{"given":"Mirko","family":"D'Angelo","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}]},{"given":"Mauro","family":"Caporuscio","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}]}],"member":"320","published-online":{"date-parts":[[2021,4,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1958746.1958813"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0334-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.838180"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882389"},{"volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"Jensen Kurt","key":"e_1_3_2_1_6_1","unstructured":"Kurt Jensen . 2013. Coloured Petri nets: basic concepts, analysis methods and practical use . Vol. 1 . Springer Science & Business Media . Kurt Jensen. 2013. Coloured Petri nets: basic concepts, analysis methods and practical use. Vol. 1. Springer Science & Business Media."},{"volume-title":"High-level Petri nets: theory and application","author":"Jensen Kurt","key":"e_1_3_2_1_7_1","unstructured":"Kurt Jensen and Grzegorz Rozenberg . 2012. High-level Petri nets: theory and application . Springer Science & Business Media . Kurt Jensen and Grzegorz Rozenberg. 2012. High-level Petri nets: theory and application .Springer Science & Business Media."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.199"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1979.1094270"},{"key":"e_1_3_2_1_10_1","unstructured":"E. D. Lazowska J. Zahorjan G. Scott Graham and K. C. Sevcik. 1984. Computer System Analysis Using Queueing Network Models .Prentice-Hall.  E. D. Lazowska J. Zahorjan G. Scott Graham and K. C. Sevcik. 1984. Computer System Analysis Using Queueing Network Models .Prentice-Hall."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/330560.330564"},{"volume-title":"Modelling with generalized stochastic Petri nets","author":"Marsan Marco Ajmone","key":"e_1_3_2_1_12_1","unstructured":"Marco Ajmone Marsan , Gianfranco Balbo , Gianni Conte , Susanna Donatelli , and Giuliana Franceschinis . 1994. Modelling with generalized stochastic Petri nets . John Wiley & Sons, Inc. Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, and Giuliana Franceschinis. 1994. Modelling with generalized stochastic Petri nets. John Wiley & Sons, Inc."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the International Conference on Semiannual Vehicular Technology","volume":"3","author":"Mokdad L.","year":"2003","unstructured":"L. Mokdad and J. B. Othman . 2003. Performance evaluation of MIR (mobile IP reservation protocol) based on stochastic automata networks . In Proceedings of the International Conference on Semiannual Vehicular Technology , Vol. 3 . 1778--1782. https:\/\/doi.org\/10.1109\/VETECS. 2003 .1207129 10.1109\/VETECS.2003.1207129 L. Mokdad and J. B. Othman. 2003. Performance evaluation of MIR (mobile IP reservation protocol) based on stochastic automata networks. In Proceedings of the International Conference on Semiannual Vehicular Technology, Vol. 3. 1778--1782. https:\/\/doi.org\/10.1109\/VETECS.2003.1207129"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3344948.3344990"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"volume-title":"Petri nets: an introduction","author":"Reisig Wolfgang","key":"e_1_3_2_1_17_1","unstructured":"Wolfgang Reisig . 2012. Petri nets: an introduction . Vol. 4 . Springer Science & Business Media . Wolfgang Reisig. 2012. Petri nets: an introduction. Vol. 4. Springer Science & Business Media."},{"key":"e_1_3_2_1_18_1","volume-title":"Hardware\/Software Co-Simulation. In Proceedings of International Conference on Design Automation","volume":"94","author":"Rowson James A","year":"1994","unstructured":"James A Rowson . 1994 . Hardware\/Software Co-Simulation. In Proceedings of International Conference on Design Automation , Vol. 94 . 6--10. James A Rowson. 1994. Hardware\/Software Co-Simulation. In Proceedings of International Conference on Design Automation, Vol. 94. 6--10."},{"key":"e_1_3_2_1_19_1","first-page":"142","article-title":"Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads","volume":"2","author":"Sharma Hemant Kumar","year":"2012","unstructured":"Hemant Kumar Sharma , Mansha Swami , and BajrangLal Swami . 2012 . Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads . International Journal for Traffic and Transport Engineering , Vol. 2 , 2 (2012), 142 -- 152 . Hemant Kumar Sharma, Mansha Swami, and BajrangLal Swami. 2012. Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads. International Journal for Traffic and Transport Engineering, Vol. 2, 2 (2012), 142--152.","journal-title":"International Journal for Traffic and Transport Engineering"},{"key":"e_1_3_2_1_20_1","volume-title":"Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software","author":"Smith C.U.","year":"2002","unstructured":"C.U. Smith and L.G. Williams . 2002 . Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software . Addison-Wesley . C.U. Smith and L.G. Williams. 2002. Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625211"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2002.1049606"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.032"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0385-x"}],"event":{"name":"ICPE '21: ACM\/SPEC International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event France","acronym":"ICPE '21"},"container-title":["Companion of the ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447545.3451205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447545.3451205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:25:10Z","timestamp":1750195510000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447545.3451205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,19]]},"references-count":24,"alternative-id":["10.1145\/3447545.3451205","10.1145\/3447545"],"URL":"https:\/\/doi.org\/10.1145\/3447545.3451205","relation":{},"subject":[],"published":{"date-parts":[[2021,4,19]]},"assertion":[{"value":"2021-04-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}