{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T01:15:13Z","timestamp":1779930913808,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662681909","type":"print"},{"value":"9783662681916","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"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":[[2024]]},"DOI":"10.1007\/978-3-662-68191-6_2","type":"book-chapter","created":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T06:02:02Z","timestamp":1698732122000},"page":"27-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Development and\u00a0Verification of\u00a0a\u00a0Microservice Architecture for\u00a0a\u00a0Fire Risk Notification System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6801-129X","authenticated-orcid":false,"given":"Ruben Dobler","family":"Strand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1465-5791","authenticated-orcid":false,"given":"Lars M.","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3154-5268","authenticated-orcid":false,"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,11,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Camilli, M., Bellettini, C., Capra, L.: A high-level Petri net-based formal model of distributed self-adaptive systems. In: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, ECSA, pp. 40:1\u201340:7. ACM (2018). https:\/\/doi.org\/10.1145\/3241403.3241445","DOI":"10.1145\/3241403.3241445"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-319-74781-1_14","volume-title":"Software Engineering and Formal Methods","author":"M Camilli","year":"2018","unstructured":"Camilli, M., Bellettini, C., Capra, L., Monga, M.: A formal framework for specifying and verifying microservices based process flows. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 187\u2013202. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_14"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured Petri nets - exploiting strongly connected components. DAIMI Report Series 26(519) (1997). https:\/\/doi.org\/10.7146\/dpb.v26i519.7048, https:\/\/tidsskrift.dk\/daimipb\/article\/view\/7048","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"2_CR4","unstructured":"Christensen, S., Mortensen, K.H.: Design\/CPN ASK-CTL Manual, Version 0.9 (1996)"},{"key":"2_CR5","unstructured":"DYNAMIC Research Project: Reducing fire disaster risk through dynamic risk assessment and management (2022). https:\/\/www.hvl.no\/en\/project\/2495578\/. Accessed 27 Mar 2022"},{"key":"2_CR6","unstructured":"DSB: Brannene i L\u00e6rdal, Flatanger og p\u00e5 Fr\u00f8ya Vinteren 2014 (The fires at L\u00e6rdal, Flatanger and Fr\u00f8ya, winter 2014). Technical report, Norwegian Directorate for Civil Protection (2014). in Norwegian"},{"key":"2_CR7","unstructured":"Evangelista, S.: The Helena Petri net tool (2022). https:\/\/lipn.univ-paris13.fr\/~evangelista\/helena\/. Accessed 10 Nov 2022"},{"key":"2_CR8","unstructured":"Fielding, R.: Architectural styles and the design of network-based software architectures. Technical report, University of California, Irvine (2000). Doctoral dissertation"},{"key":"2_CR9","unstructured":"Framework, X.: Xamarin framework (2022). https:\/\/dotnet.microsoft.com\/en-us\/apps\/xamarin. Accessed 28 Mar 2022"},{"key":"2_CR10","unstructured":"Heroku: Heroku (2022). https:\/\/devcenter.heroku.com\/articles\/heroku-cli. Accessed 28 Mar 2022"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-319-69462-7_32","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"L Kallab","year":"2017","unstructured":"Kallab, L., Mrissa, M., Chbeir, R., Bourreau, P.: Using colored Petri nets for verifying RESTful service composition. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 505\u2013523. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_32"},{"key":"2_CR12","unstructured":"Kraaijeveld, A., Gunnarshaug, A., Schei, B., Log, T.: Burning rate and time to flashover in wooden 1\/4 scale compartments as a function of fuel moisture content. In: Proceedings of the 14th International Fire Science and Engineering Conference. Interflam, Windsor, UK, pp. 553\u2013558, 4\u20136 July 2016"},{"key":"2_CR13","first-page":"1815","volume":"52","author":"T Log","year":"2014","unstructured":"Log, T.: Cold climate fire risk; a case study of the L\u00e6rdals\u00f8yri fire. Fire Technol. 52, 1815\u20131843 (2014)","journal-title":"Fire Technol."},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.buildenv.2016.11.002","volume":"111","author":"T Log","year":"2017","unstructured":"Log, T.: Indoor relative humidity as a fire risk indicator. Build. Environ. 111, 238\u2013248 (2017)","journal-title":"Build. Environ."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Log, T.: Modeling indoor relative humidity and wood moisture content as a proxy for wooden home fire risk. Sensors 19(22) (2019)","DOI":"10.3390\/s19225050"},{"key":"2_CR16","unstructured":"Norwegian Meteorological Services: Frost API (2022). https:\/\/frost.met.no\/index.html. Accessed 27 Mar 2022"},{"key":"2_CR17","unstructured":"Norwegian Meteorological Services: MET Norway Weather API (2022). https:\/\/api.met.no\/. Accessed 27 Mar 2022"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"12","DOI":"10.3390\/challe9010012","volume":"9","author":"M Metallinou","year":"2018","unstructured":"Metallinou, M., Log, T.: Cold climate structural fire danger rating system? Challenges 9(1), 12 (2018)","journal-title":"Challenges"},{"key":"2_CR19","unstructured":"Move team: CPN-AMI web site (2022). https:\/\/move.lip6.fr\/software\/CPNAMI\/. Accessed 10 Nov 2022"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5815\/ijcnis.2018.02.01","volume":"2","author":"M Narayanan","year":"2018","unstructured":"Narayanan, M., Cherukuri, A.K.: Verification of cloud based information integration architecture using colored Petri nets. Int. J. Comput. Netw. Inf. Secur. 2, 1\u201311 (2018). https:\/\/doi.org\/10.5815\/ijcnis.2018.02.01","journal-title":"Int. J. Comput. Netw. Inf. Secur."},{"key":"2_CR21","unstructured":"Ndiaye, M., P\u00e9tin, J.F., Georges, J.P., Camerini, J.: Practical use of coloured Petri nets for the design and performance assessment of distributed automation architectures. In: Cabac, L., Kristensen, L.M., R\u00f6lke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, pp. 113\u2013131 (2016)"},{"key":"2_CR22","unstructured":"Pirsko, A.R., Fons, W.L.: Frequency of urban building fires as related to daily weather conditions. Technical report 866, US Department of Agriculture (1956)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-662-60651-3_5","volume":"14","author":"A Rodr\u00edguez","year":"2019","unstructured":"Rodr\u00edguez, A., Kristensen, L.M., Rutle, A.: Formal modelling and incremental verification of the MQTT IoT protocol. Trans. Petri Nets Other Model. Concurr. 14, 126\u2013145 (2019)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"issue":"1","key":"2_CR24","first-page":"71","volume":"28","author":"S Rohrer-Mirtschink","year":"2015","unstructured":"Rohrer-Mirtschink, S., Forster, N., Giovanoli, P., Guggenheim, M.: Major burn injuries associated with Christmas celebrations: a 41-year experience from Switzerland. Ann. Burns Fire Disasters 28(1), 71\u201375 (2015)","journal-title":"Ann. Burns Fire Disasters"},{"key":"2_CR25","unstructured":"R\u00f6wekamp, J.H., Buchholz, M., Moldt, D.: Petri net sagas. In: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS. CEUR Workshop Proceedings, vol.\u00a02907, pp. 65\u201384. CEUR-WS.org (2021). http:\/\/ceur-ws.org\/Vol-2907\/paper4.pdf"},{"key":"2_CR26","doi-asserted-by":"publisher","unstructured":"Sakai, M., Takahashi, K., Kondoh, S.: Method of constructing Petri net service model using distributed trace data of microservices. In: 22nd Asia-Pacific Network Operations and Management Symposium, APNOMS, pp. 214\u2013217. IEEE (2021). https:\/\/doi.org\/10.23919\/APNOMS52696.2021.9562589","DOI":"10.23919\/APNOMS52696.2021.9562589"},{"key":"2_CR27","unstructured":"Spring Boot Framework (2022). https:\/\/spring.io\/projects\/spring-boot. Accessed 28 Mar 2022"},{"key":"2_CR28","unstructured":"Strand, R.D., Kristensen, L.M., Petrucci, L.: Formal specification and validation of a data-driven software system for fire risk prediction. In: Proceedings of Petri Nets and Software Engineering 2022. CEUR Workshop Proceedings, vol. 3170, pp. 1\u201320 (2022)"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Strand, R.D., Stokkenes, S., Kristensen, L.M., Log, T.: Fire risk prediction using cloud-based weather data services. J. Ubiquit. Syst. Pervasive Netw. 16(1) (2021). https:\/\/doi.org\/10.5383\/JUSPN.16.01.005","DOI":"10.5383\/JUSPN.16.01.005"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-00359-3_7","volume-title":"Verification and Evaluation of Computer and Communication Systems","author":"R Wang","year":"2018","unstructured":"Wang, R., Kristensen, L.M., Stolz, V.: MBT\/CPN: a tool for model-based software testing of distributed systems protocols using coloured Petri nets. In: Atig, M.F., Bensalem, S., Bliudze, S., Monsuez, B. (eds.) VECoS 2018. LNCS, vol. 11181, pp. 97\u2013113. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00359-3_7"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XVII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-68191-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T06:02:16Z","timestamp":1698732136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-68191-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,1]]},"ISBN":["9783662681909","9783662681916"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-68191-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,1]]},"assertion":[{"value":"1 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}