{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T02:00:37Z","timestamp":1767319237184,"version":"3.48.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032105530","type":"print"},{"value":"9783032105547","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10554-7_12","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T01:58:24Z","timestamp":1767319104000},"page":"222-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Spatio-Temporal Analysis of\u00a0Concurrent Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6278-4793","authenticated-orcid":false,"given":"Heinz","family":"Schmidt","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3830-466X","authenticated-orcid":false,"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6882-1444","authenticated-orcid":false,"given":"Maria","family":"Spichkova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8640-5137","authenticated-orcid":false,"given":"James","family":"Harland","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2136-5714","authenticated-orcid":false,"given":"Ian","family":"Peake","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4257-3232","authenticated-orcid":false,"given":"Ergys","family":"Puka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Ahmed, K., Blech, J.O., Gregory, M.A., Schmidt, H.: Software defined networking for communication and control of cyber-physical systems. In: 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), pp. 803\u2013808. IEEE (2015)","DOI":"10.1109\/ICPADS.2015.107"},{"key":"12_CR2","unstructured":"Ajmone\u00a0Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A., et\u00a0al.: On Petri nets with stochastic timing. In: Timed Petri Nets, pp. 80\u201387. IEEE Computer Society Press (1985)"},{"issue":"5","key":"12_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM (JACM) 49(5), 672\u2013713 (2002)","journal-title":"J. ACM (JACM)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-319-50230-4_14","volume-title":"Software Technologies: Applications and Foundations","author":"N Alzahrani","year":"2016","unstructured":"Alzahrani, N., Spichkova, M., Blech, J.O.: Spatio-temporal models for formal analysis and property-based testing. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 196\u2013206. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-50230-4_14"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Amanullah, M.A., Loke, S.W., Baruwal\u00a0Chhetri, M., Doss, R.: A taxonomy and analysis of misbehaviour detection in cooperative intelligent transport systems: A systematic review. ACM Comput. Surv. 56(1) (2023)","DOI":"10.1145\/3596598"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Amparore, E.G., Balbo, G., Beccuti, M., Donatelli, S., Franceschinis, G.: 30 years of GreatSPN. Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday, pp. 227\u2013254 (2016)","DOI":"10.1007\/978-3-319-30599-8_9"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. ACM SIGMETRICS Performance Evaluation Review 36(4), 4\u20139 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Bennaceur, A., et al.: Modelling and Analysing resilient cyber-physical systems. In: 2019 IEEE\/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 70\u201376 (2019)","DOI":"10.1109\/SEAMS.2019.00018"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-031-24950-1_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N Bj\u00f8rner","year":"2023","unstructured":"Bj\u00f8rner, N., Eisenhofer, C., Kov\u00e1cs, L.: Satisfiability modulo custom theories in Z3. In: Dragoi, C., Emmi, M., Wang, J. (eds.) Verification, Model Checking, and Abstract Interpretation, pp. 91\u2013105. Springer Nature Switzerland, Cham (2023)"},{"key":"12_CR10","unstructured":"Blech, J.O., Schmidt, H.: BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. Technical Report 1404.3537, arXiv.org (2014)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10703-013-0183-7","volume":"43","author":"T Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: Automatic verification of competitive stochastic systems. Formal Methods Syst. Design 43, 61\u201392 (2013)","journal-title":"Formal Methods Syst. Design"},{"key":"12_CR12","unstructured":"Chiola, G.: A software package for the analysis of generalized stochastic Petri net models. In: International Workshop on Timed Petri Nets, pp. 136\u2013143. IEEE Computer Society, USA (1985)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: Greatspn 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Perf. Eval. 24(1-2), 47\u201368 (1995)","DOI":"10.1016\/0166-5316(95)00008-L"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronisation Skeletons using Branching Time Temporal Logic. In: Workshop on the Logic of Programs, pp. 52\u201371. No.\u00a0131 in LNCS, Springer-Verlag, Berlin (1981)","DOI":"10.1007\/BFb0025774"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A storm is coming: A modern probabilistic model checker. In: Computer Aided Verification: 29th International Conference (CAV), pp. 592\u2013600. Springer (2017)","DOI":"10.1007\/978-3-319-63390-9_31"},{"issue":"5","key":"12_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Heiner, M., Richter, R., Schwarick, M.: Snoopy: a tool to design and animate\/simulate graph-based formalisms. In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, pp. 1\u201310 (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3098"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Heiner, M., Rohr, C., Schwarick, M., Streif, S.: A comparative study of stochastic analysis techniques. In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pp. 96\u2013106 (2010)","DOI":"10.1145\/1839764.1839776"},{"key":"12_CR19","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transfer, pp. 1\u201322 (2022)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Herrmann, P., Blech, J.O.: Formal analysis of control software for cyber-physical systems. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-c), pp. 563\u2013564 (2017)","DOI":"10.1109\/QRS-C.2017.130"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Herrmann, P., Blech, J.O., Han, F., Schmidt, H.: Model-based development and spatiotemporal behavior of cyber-physical systems. In: Innovative Solutions and Applications of Web Services Technology, pp. 69\u201393. IGI Global (2019)","DOI":"10.4018\/978-1-5225-7268-8.ch004"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Krajzewicz, D.: Traffic simulation with SUMO simulation of urban mobility. In: Fundamentals of Traffic Simulation. International Series in Operations Research & Management Science, vol. 145, pp. 269\u2013293. Springer, United States (2010)","DOI":"10.1007\/978-1-4419-6142-6_7"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Lin, Y.D., Hsu, Y.C.: Multihop Cellular: A New Architecture for Wireless Communications. In: IEEE INFOCOM, Conference on Computer Communications, vol.\u00a03, pp. 1273\u20131282 (2000)","DOI":"10.1109\/INFCOM.2000.832516"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Lopez, P.A., et al.: Microscopic Traffic Simulation using SUMO. In: IEEE Intelligent Transportation Systems Conference (ITSC), pp. 2575\u20132582. IEEE (2018)","DOI":"10.1109\/ITSC.2018.8569938"},{"issue":"9","key":"12_CR25","doi-asserted-by":"publisher","first-page":"3039","DOI":"10.1007\/s00170-021-08290-x","volume":"124","author":"H Mao","year":"2023","unstructured":"Mao, H., Liu, Z., Qiu, C.: Adaptive disassembly sequence planning for VR maintenance training via deep reinforcement learning. Int. J. Adv. Manuf. Technol. 124(9), 3039\u20133048 (2023)","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Meyer, J.A.E., Puka, E., Herrmann, P.: Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots. In: 6th International Conference on Internet of Vehicles (IOV), pp. 76\u201387. No. 11894 in LNCS, Springer-Verlag, Kaohsiung, Taiwan (2019)","DOI":"10.1007\/978-3-030-38651-1_8"},{"issue":"2","key":"12_CR27","doi-asserted-by":"publisher","first-page":"38","DOI":"10.4018\/IJCPS.2019070103","volume":"1","author":"E Puka","year":"2019","unstructured":"Puka, E., Herrmann, P.: Data dissemination for vehicles in temporary Cellular network dead spots. Int. J. Cyber-Phys. Syst. (IJCPS) 1(2), 38\u201355 (2019)","journal-title":"Int. J. Cyber-Phys. Syst. (IJCPS)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Puka, E., Herrmann, P.: Simulating a Context-Aware Message Flooding Protocol to Mitigate Cellular Dead Spots with Realistic Drivers\u2019 Behavior. In: 24th IEEE International Conference on Intelligent Transportation (ITSC), pp. 1041\u20131048. IEEE, Indianapolis, IN, USA (2021)","DOI":"10.1109\/ITSC48978.2021.9564660"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Puka, E., Herrmann, P., Taherkordi, A.: Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. In: 92nd IEEE Vehicular Technology Conference (VTC-Fall), pp.\u00a01\u20137. IEEE VTS, Victoria, BC, Canada (2020)","DOI":"10.1109\/VTC2020-Fall49728.2020.9348721"},{"key":"12_CR30","unstructured":"Qi, H., Guang, M., Wang, J., Yan, C., Jiang, C.: Probabilistic reachability prediction of unbounded Petri nets: A machine learning method. IEEE Trans. Autom. Sci. Eng. pp. 1\u201313 (2023)"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Schmidt, H., Spichkova, M.: Towards readability aspects of probabilistic mode automata. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 555\u2013562 (2019)","DOI":"10.5220\/0007781005550562"},{"key":"12_CR32","unstructured":"Schmidt, H.W., Peake, I., Aysan, H.A., Punnekkat, S., Dobrin, R.: Towards probabilistic mode automata for adaptable resource-aware component-based systems design. In: Proceedings of the International Improoving Systems and Software Engineering Conference (2012)"},{"key":"12_CR33","unstructured":"Spichkova, M., Blech, J.O., Herrmann, P., Schmidt, H.: Modeling spatial aspects of safety-critical systems with focus-st. In: MoDeVVa\u201914, pp. 49\u201358. Springer (2014)"},{"issue":"1","key":"12_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s43684-022-00022-6","volume":"2","author":"G Vanson","year":"2022","unstructured":"Vanson, G., Marang\u00e9, P., Levrat, E.: End-of-Life Decision making in circular economy using generalized colored stochastic Petri nets. Auton. Intell. Syst. 2(1), 1\u201318 (2022)","journal-title":"Auton. Intell. Syst."},{"key":"12_CR35","unstructured":"Wi-Fi Alliance, P2P Technical Group: Wi-Fi Peer-to-Peer (P2P) Technical Specification v1.7 (2016)"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Yusuf, I.I., et al.: Chiminey: Reliable computing and data management platform in the cloud. In: 37th IEEE International Conference on Software Engineering, vol.\u00a02, pp. 677\u2013680. IEEE (2015)","DOI":"10.1109\/ICSE.2015.221"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Mobile and Ubiquitous Systems: Computing, Networking and Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10554-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T01:58:26Z","timestamp":1767319106000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10554-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032105530","9783032105547"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10554-7_12","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MobiQuitous","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mobiquitous2024a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/mobiquitous.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}