{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:23:49Z","timestamp":1742912629692,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031336195"},{"type":"electronic","value":"9783031336201"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-33620-1_12","type":"book-chapter","created":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T08:02:05Z","timestamp":1685174525000},"page":"217-228","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["RENEW: Modularized Architecture and\u00a0New Features"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Moldt","sequence":"first","affiliation":[]},{"given":"Jonte","family":"Johnsen","sequence":"additional","affiliation":[]},{"given":"Relana","family":"Streckenbach","sequence":"additional","affiliation":[]},{"given":"Laif-Oke","family":"Clasen","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Haustermann","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Heinze","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Hansson","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Feldmann","sequence":"additional","affiliation":[]},{"given":"Karl","family":"Ihlenfeldt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,28]]},"reference":[{"key":"12_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)"},{"key":"12_CR2","unstructured":"Cabac, L.: Modeling petri net-based multi-agent applications. Dissertation, University of Hamburg, Department of Informatics, Vogt-K\u00f6lln Str. 30, D-22527 Hamburg (Apr 2010). https:\/\/ediss.sub.uni-hamburg.de\/handle\/ediss\/3691"},{"key":"12_CR3","unstructured":"Cabac, L., et al.: PAOSE Settler demo. In: First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005. University of Hamburg, Department of Computer Science, Vogt-K\u00f6lln Str. 30, D-22527 Hamburg (Mar 2005). http:\/\/www.informatik.uni-hamburg.de\/TGI\/events\/PNDS2005\/program_and_abstracts.html"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Cabac, L., Duvigneau, M., Moldt, D., R\u00f6lke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings. Lecture Notes in Computer Science, vol. 3536, pp. 148\u2013167 (2005), https:\/\/doi.org\/10.1007\/11494744_10","DOI":"10.1007\/11494744_10"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 - towards a comprehensive integrated development environment for petri net-based applications. In: Kordon, F., Moldt, D. (eds.) Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toru\u0144, Poland, June 19\u201324, 2016. Proceedings. Lecture Notes in Computer Science, vol. 9698, pp. 101\u2013112. Springer-Verlag (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_7","DOI":"10.1007\/978-3-319-39086-4_7"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.scico.2017.12.003","volume":"157","author":"L Cabac","year":"2018","unstructured":"Cabac, L., Haustermann, M., Mosteller, D.: Software development with Petri nets and agents: approach, frameworks and tool set. Sci. Comput. Program. 157, 56\u201370 (2018). https:\/\/doi.org\/10.1016\/j.scico.2017.12.003","journal-title":"Sci. Comput. Program."},{"key":"12_CR7","volume-title":"Model Checking","author":"EM Clarke Jr","year":"2018","unstructured":"Clarke, E.M., Jr., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking. MIT Press, Cambridge (2018)"},{"key":"12_CR8","unstructured":"Clasen, L.O., Moldt, D., Hansson, M., Willrodt, S., Vo\u00df, L.: Enhancement of Renew to version 4.0 using JPMS. In: K\u00f6hler-Bu\u00dfmeier, M., Moldt, D., R\u00f6lke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. CEUR Workshop Proceedings, vol. 3170, pp. 165\u2013176. CEUR-WS.org (2022). https:\/\/ceur-ws.org\/Vol-3170"},{"key":"12_CR9","unstructured":"Duvigneau, M.: Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen, Agent Technology - Theory and Applications, vol. 4. Logos Verlag, Berlin (2010). http:\/\/www.logos-verlag.de\/cgi-bin\/engbuchmid?isbn=2561 &lng=eng &id="},{"key":"12_CR10","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg (Jun 2016). http:\/\/www.renew.de\/"},{"key":"12_CR11","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - the Reference Net Workshop (Feb 2023). http:\/\/www.renew.de\/, release 4.1"},{"key":"12_CR12","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 4.1). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg (Feb 2023). http:\/\/www.renew.de\/"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: renew. In: Cortadella, J., Reisig, W. (eds.) Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings. Lecture Notes in Computer Science, vol. 3099, pp. 484\u2013493. Springer, Berlin Heidelberg New York (Jun 2004). https:\/\/doi.org\/10.1007\/978-3-540-27793-4_29","DOI":"10.1007\/978-3-540-27793-4_29"},{"key":"12_CR14","unstructured":"Lilienthal, C.: Komplexit\u00e4t von Softwarearchitekturen, Stile und Strategien. Ph.D. thesis, Staats-und Universit\u00e4tsbibliothek Hamburg Carl von Ossietzky (2008)"},{"key":"12_CR15","unstructured":"Moldt, D.: Petrinetze als Denkzeug. In: Farwer, B., Moldt, D. (eds.) Object Petri Nets, Processes, and Object Calculi, pp. 51\u201370. No. FBI-HH-B-265\/05 in Report of the Department of Informatics, University of Hamburg, Department of Computer Science, Vogt-K\u00f6lln Str. 30, D-22527 Hamburg (Aug 2005)"},{"key":"12_CR16","unstructured":"Moldt, D.: PAOSE: A way to develop distributed software systems based on Petri nets and agents. In: Barjis, J., Ultes-Nitsche, U., Augusto, J.C. (eds.) Proceedings of The Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS\u201906), May 23\u201324, 2006 - Paphos, Cyprus 2006, pp. 1\u20132 (2006)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Moldt, D., et al.: Enriching heraklit modules by agent interaction diagrams. In: Gomes, L., Lorenz, R. (eds.) Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisboa, Portugal, June 26\u201330, 2023, Proceedings. Lecture Notes in Computer Science, vol. this volume. Springer (2023)","DOI":"10.1007\/978-3-031-33620-1_23"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/TSE.1985.232209","volume":"3","author":"DL Parnas","year":"1985","unstructured":"Parnas, D.L., Clements, P.C., Weiss, D.M.: The modular structure of complex systems. IEEE Trans. Softw. Eng. 3, 259\u2013266 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR19","unstructured":"R\u00f6lke, H.: Modellierung von Agenten und Multiagentensystemen - Grundlagen und Anwendungen, Agent Technology - Theory and Applications, vol. 2. Logos Verlag, Berlin (2004). http:\/\/logos-verlag.de\/cgi-bin\/engbuchmid?isbn=0768 &lng=eng &id="},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Valk, R.: Petri nets as token objects - an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) 19th International Conference on Application and Theory of Petri nets, Lisbon, Portugal. pp. 1\u201325. No. 1420 in Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg New York (1998). https:\/\/doi.org\/10.1007\/3-540-69108-1_1","DOI":"10.1007\/3-540-69108-1_1"},{"key":"12_CR21","unstructured":"Vo\u00df, L., Willrodt, S., Moldt, D., Haustermann, M.: Between expressiveness and verifiability: P\/T-nets with synchronous channels and modular structure. In: K\u00f6hler-Bu\u00dfmeier, M., Moldt, D., R\u00f6lke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. CEUR Workshop Proceedings, vol. 3170, pp. 40\u201359. CEUR-WS.org (2022). https:\/\/ceur-ws.org\/Vol-3170"},{"key":"12_CR22","unstructured":"Willrodt, S., Moldt, D., Simon, M.: Modular model checking of reference nets: MoMoC. In: K\u00f6hler-Bu\u00dfmeier, M., Kindler, E., R\u00f6lke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering co-locatd with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (dueto COVID-19: virtual conference). CEUR Workshop Proceedings, vol. 2651, pp. 181\u2013193. CEUR-WS.org (2020). http:\/\/ceur-ws.org\/Vol-2651\/paper12.pdf"}],"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-031-33620-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,17]],"date-time":"2023-06-17T23:09:10Z","timestamp":1687043350000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33620-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031336195","9783031336201"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33620-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"28 May 2023","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":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2023.deec.fct.unl.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}