{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T00:05:16Z","timestamp":1780358716204,"version":"3.54.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032278784","type":"print"},{"value":"9783032278791","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-27879-1_5","type":"book-chapter","created":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:50Z","timestamp":1780355210000},"page":"87-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Weakly Terminating Interface Protocols"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5362-8995","authenticated-orcid":false,"given":"Debjyoti","family":"Bera","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3049-7962","authenticated-orcid":false,"given":"Tim A. C.","family":"Willemse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M., van Hee, K.M., Massuthe, P., Sidorova, N., van der Werf, J.M.: Compositional service trees. In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, 22\u201326 June 2009. Proceedings. Lecture Notes in Computer Science, vol. 5606, pp. 283\u2013302. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_17","DOI":"10.1007\/978-3-642-02424-5_17"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Amat, N.: Behind the scene of the model checking contest, analysis of results from 2018 to 2023. In: Beyer, D., Hartmanns, A., Kordon, F. (eds.) TOOLympics Challenge 2023, pp. 52\u201389. Springer Nature Switzerland (2025)","DOI":"10.1007\/978-3-031-67695-6_3"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/J.SCICO.2014.11.019","volume":"109","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Bonchi, F., Gadducci, F., Monreale, G.V.: Modular encoding of synchronous and asynchronous interactions using open petri nets. Sci. Comput. Program. 109, 96\u2013124 (2015). https:\/\/doi.org\/10.1016\/J.SCICO.2014.11.019","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open petri nets based on deterministic processes. Math. Struct. Comput. Sci. 15(1), 1\u201335 (2005). https:\/\/doi.org\/10.1017\/S0960129504004311","journal-title":"Math. Struct. Comput. Sci."},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Bera, D.: Petri nets for modeling robots. Phd thesis, Technische Universiteit Eindhoven (2014). https:\/\/doi.org\/10.6100\/IR780942","DOI":"10.6100\/IR780942"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Bera, D., van Hee, K.M., van der Werf, J.M.: Designing weakly terminating ROS systems. In: Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, 25\u201329 June 2012. Proceedings. Lecture Notes in Computer Science, vol. 7347, pp. 328\u2013347. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-31131-4_18","DOI":"10.1007\/978-3-642-31131-4_18"},{"key":"5_CR7","unstructured":"Bera, D., Van Hee, K.M., Van Osch, M., van der Werf, J.M.E., et al.: A component framework where port compatibility implies weak termination. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, 20\u201321 June 2011. CEUR Workshop Proceedings, vol. 723, pp. 152\u2013166. CEUR-WS.org (2011). https:\/\/ceur-ws.org\/Vol-723\/paper11.pdf"},{"key":"5_CR8","unstructured":"Bera, D., Willemse, T.A.C.: Constructing weakly terminating interface protocols (2026). https:\/\/arxiv.org\/abs\/2603.15675"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"De Alfaro, L., Henzinger, T.A.: Interface automata. In: Tjoa, A.M., Gruhn, V. (eds.) Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, 10\u201314 September 2001, pp. 109\u2013120. ACM (2001). https:\/\/doi.org\/10.1145\/503209.503226","DOI":"10.1145\/503209.503226"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press (1995). https:\/\/doi.org\/10.1017\/CBO9780511526558","DOI":"10.1017\/CBO9780511526558"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, 23\u201327 June 2003, Proceedings. Lecture Notes in Computer Science, vol. 2679, pp. 337\u2013356. Springer (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_22","DOI":"10.1007\/3-540-44919-1_22"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.M.: Construction of asynchronous communicating systems: weak termination guaranteed! In: Software Composition - 9th International Conference, SC@TOOLS 2010, Malaga, Spain, 1\u20132 July 2010. Proceedings. Lecture Notes in Computer Science, vol. 6144, pp. 106\u2013121. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-14046-4_8","DOI":"10.1007\/978-3-642-14046-4_8"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Kurtev, I., Hooman, J., Schuts, M.: Runtime monitoring based on interface specifications. In: ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol. 10500, pp. 335\u2013356. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_17","DOI":"10.1007\/978-3-319-68270-9_17"},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.103067","volume":"233","author":"I Kurtev","year":"2024","unstructured":"Kurtev, I., Hooman, J., Schuts, M., van der Munnik, D.: Model based component development and analysis with ComMA. Sci. Comput. Program. 233, 103067 (2024). https:\/\/doi.org\/10.1016\/J.SCICO.2023.103067","journal-title":"Sci. Comput. Program."},{"key":"5_CR15","unstructured":"McIlroy, M.D., Buxton, J., Naur, P., Randell, B.: Mass-produced software components. In: Proceedings of the 1st International Conference on Software Engineering, Garmisch Pattenkirchen, Germany, pp. 88\u201398 (1968)"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Milner, R.: Bigraphs for petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichst\u00e4tt, Germany in September 2003.]. Lecture Notes in Computer Science, vol. 3098, pp. 686\u2013701. Springer (2003). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_19","DOI":"10.1007\/978-3-540-27755-2_19"},{"issue":"4","key":"5_CR17","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Pommereau, F.: SNAKES: a flexible high-level petri nets library (tool paper). In: Devillers, R., Valmari, A. (eds.) Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, 21\u201326 June 2015, Proceedings. Lecture Notes in Computer Science, vol. 9115, pp. 254\u2013265. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-19488-2_13","DOI":"10.1007\/978-3-319-19488-2_13"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Sassone, V., Sobocinski, P.: A congruence for Petri nets. In: Ehrig, H., Padberg, J., Rozenberg, G. (eds.) Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, 2 October 2004. Electronic Notes in Theoretical Computer Science, vol. 127, pp. 107\u2013120. Elsevier (2004). https:\/\/doi.org\/10.1016\/J.ENTCS.2005.02.008","DOI":"10.1016\/J.ENTCS.2005.02.008"},{"key":"5_CR20","unstructured":"Szyperski, C.A., Gruntz, D., Murer, S.: Component software - beyond object-oriented programming, 2nd edn. Addison-Wesley component software series, Addison-Wesley (2002). https:\/\/www.worldcat.org\/oclc\/248041840"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume":"2","author":"K Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? Trans. Petri Nets Other Models Concurr. II Spec. Issue Concurr. Process-Aware Inf. Syst. 2, 152\u2013171 (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_9","journal-title":"Trans. Petri Nets Other Models Concurr. II Spec. Issue Concurr. Process-Aware Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-27879-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:52Z","timestamp":1780355212000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27879-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032278784","9783032278791"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27879-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hamburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2026.informatik.uni-hamburg.de\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}