{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T03:30:07Z","timestamp":1782099007314,"version":"3.54.5"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031066528","type":"print"},{"value":"9783031066535","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-06653-5_19","type":"book-chapter","created":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T23:04:18Z","timestamp":1655075058000},"page":"369-392","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Data and Process Resonance"],"prefix":"10.1007","author":[{"given":"Jan Martijn E. M.","family":"van der Werf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrey","family":"Rivkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artem","family":"Polyvyanyy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,6,13]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP van der Aalst","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_48"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-30446-1_1","volume-title":"Software Engineering and Formal Methods","author":"WMP van der Aalst","year":"2019","unstructured":"van der Aalst, W.M.P.: Object-centric process mining: dealing with divergence and convergence in event data. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 3\u201325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_1"},{"issue":"1\u20134","key":"19_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2020-1946","volume":"175","author":"WMP van der Aalst","year":"2020","unstructured":"van der Aalst, W.M.P., Berti, A.: Discovering object-centric petri nets. Fundam. Informaticae 175(1\u20134), 1\u201340 (2020)","journal-title":"Fundam. Informaticae"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-030-26619-6_11","volume-title":"Business Process Management","author":"A Artale","year":"2019","unstructured":"Artale, A., Kovtunova, A., Montali, M., van\u00a0der Aalst, W.M.P.: Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 139\u2013156. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_11"},{"key":"19_CR5","unstructured":"Bagheri Hariri, B., Calvanese, D., Montali, M., Deutsch, A.: State-boundedness in data-aware dynamic systems. In: Proceedings of KR 2014. AAAI Press (2014)"},{"key":"19_CR6","unstructured":"Berthelot, G.: Verification de Reseaux de Petri. Ph.D. thesis, Universit\u00e9 Pierre et Marie Curie (Paris) (1978)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-21571-2_1","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"Dirk Fahland","year":"2019","unstructured":"Fahland, Dirk: Describing behavior of processes with many-to-many interactions. In: Donatelli, Susanna, Haar, Stefan (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21571-2_1"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Felli, P., de Leoni, M., Montali, M.: Soundness verification of decision-aware process models with variable-to-variable conditions. In: Proceedings of ACSD 2019, pp. 82\u201391. IEEE (2019)","DOI":"10.1109\/ACSD.2019.00013"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Felli, P., Montali, M., Winkler, S.: Linear-time verification of data-aware dynamic systems with arithmetic. In: Proceedings of AAAI 2022. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i5.20505"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-030-58666-9_4","volume-title":"Business Process Management","author":"S Ghilardi","year":"2020","unstructured":"Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri nets with parameterised data. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) BPM 2020. LNCS, vol. 12168, pp. 55\u201374. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58666-9_4"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Glabbeek, R.: The linear time - branching time spectrum II: the semantics of sequential systems with silent moves. In: CONCUR 1993. LNCS, vol. 715, pp. 66\u201381. Springer (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_6","DOI":"10.1007\/3-540-57208-2_6"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Hack, M.: The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems. In: Proceedings of SWAT 1974. pp. 156\u2013164. IEEE Computer Society (1974)","DOI":"10.1109\/SWAT.1974.28"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/j.is.2008.06.003","volume":"34","author":"KM van Hee","year":"2009","unstructured":"van Hee, K.M., Hidders, J., Houben, G.J., Paredaens, J., Thiran, P.: On the relationship between workflow models and document types. Inf. Syst. 34(1), 178\u2013208 (2009)","journal-title":"Inf. Syst."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"van Hee, K.M., Oanea, O., Post, R., Somers, L.J., van der Werf, J.M.E.M.: Yasper: a tool for workflow modeling and analysis. In: Proceedings of ACSD 2006, pp. 279\u2013282. IEEE (2006)","DOI":"10.1109\/ACSD.2006.37"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K van Hee","year":"2003","unstructured":"van Hee, K., 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.) ICATPN 2003. LNCS, vol. 2679, pp. 337\u2013356. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_22"},{"issue":"1\u20133","key":"19_CR16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-2009-0095","volume":"93","author":"KM van Hee","year":"2009","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M., van der Werf, J.M.E.M.: Generation of database transactions with petri nets. Fundam. Inform. 93(1\u20133), 171\u2013184 (2009)","journal-title":"Fundam. Inform."},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-38143-0_4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"KM van Hee","year":"2013","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.M.: Business process modeling using petri nets. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 116\u2013161. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38143-0_4"},{"issue":"2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147\u2013195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-39086-4_3","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Lasota","year":"2016","unstructured":"Lasota, S.: Decidability border for petri nets with data: WQO dichotomy conjecture. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 20\u201336. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_3"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_17"},{"key":"19_CR21","unstructured":"Lomazova, I.A., Mitsyuk, A.A., Rivkin, A.: Soundness in object-centric workflow Petri nets. CoRR abs\/2112.14994 (2021)"},{"issue":"5","key":"19_CR22","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10009-016-0417-2","volume":"18","author":"M Montali","year":"2016","unstructured":"Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools for Technol. Transf. 18(5), 535\u2013558 (2016). https:\/\/doi.org\/10.1007\/s10009-016-0417-2","journal-title":"Int. J. Softw. Tools for Technol. Transf."},{"issue":"4","key":"19_CR23","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s00165-016-0370-6","volume":"28","author":"M Montali","year":"2016","unstructured":"Montali, M., Rivkin, A.: Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28(4), 615\u2013641 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0370-6","journal-title":"Formal Aspects Comput."},{"issue":"4","key":"19_CR24","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)","journal-title":"Proc. IEEE"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-030-21290-2_13","volume-title":"Advanced Information Systems Engineering","author":"A Polyvyanyy","year":"2019","unstructured":"Polyvyanyy, A., van der Werf, J.M.E.M., Overbeek, S., Brouwers, R.: Information systems modeling: language, verification, and tool support. In: Giorgini, P., Weber, B. (eds.) CAiSE 2019. LNCS, vol. 11483, pp. 194\u2013212. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_13"},{"key":"19_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets - Modeling Techniques, Analysis Methods","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods. Case Studies. Springer, Berlin Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"issue":"1","key":"19_CR27","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2005.12.026","volume":"150","author":"F Rosa-Velardo","year":"2006","unstructured":"Rosa-Velardo, F., Alonso, O.M., de Frutos-Escrig, D.: Mobile synchronizing petri nets: a choreographic approach for coordination in Ubiquitous systems. Electron. Notes Theor. Comput. Sci. 150(1), 103\u2013126 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"34","key":"19_CR28","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1016\/j.tcs.2011.05.007","volume":"412","author":"F Rosa-Velardo","year":"2011","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability and complexity of Petri nets with unordered data. Theor. Comput. Sci. 412(34), 4439\u20134451 (2011)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"19_CR29","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/TSMCA.2012.2210415","volume":"43","author":"N Sidorova","year":"2013","unstructured":"Sidorova, N., Stahl, C.: Soundness for resource-constrained workflow nets is decidable. IEEE Trans. Syst. Man Cybern. Syst. 43(3), 724\u2013729 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"3\u20134","key":"19_CR30","doi-asserted-by":"publisher","first-page":"399","DOI":"10.3233\/FI-2011-614","volume":"113","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles - efficient computation, applications, and evaluation. Fundam. Inform. 113(3\u20134), 399\u2013435 (2011)","journal-title":"Fundam. Inform."},{"key":"19_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-030-51831-8_22","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"JMEM van der Werf","year":"2020","unstructured":"van der Werf, J.M.E.M., Polyvyanyy, A.: The information systems modeling suite. In: Janicki, R., Sidorova, N., Chatain, T. (eds.) PETRI NETS 2020. LNCS, vol. 12152, pp. 414\u2013425. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51831-8_22"}],"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-06653-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T20:48:27Z","timestamp":1727383707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-06653-5_19"}},"subtitle":["Identifier Soundness for Models of Information Systems"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031066528","9783031066535"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-06653-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"13 June 2022","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":"Bergen","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2022.github.io\/","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":"35","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":"19","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":"54% - 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":"3","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":"3","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)"}}]}}