{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T16:59:25Z","timestamp":1781369965107,"version":"3.54.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319077338","type":"print"},{"value":"9783319077345","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_12","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T13:57:34Z","timestamp":1404223054000},"page":"210-232","source":"Crossref","is-referenced-by-count":35,"title":["The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raffaele","family":"Conforti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-73031-6_17","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"S. Winkler","year":"2007","unstructured":"Winkler, S.: Information flow between requirement artifacts. Results of an empirical study. In: Sawyer, P., Heymans, P. (eds.) REFSQ 2007. LNCS, vol.\u00a04542, pp. 232\u2013246. Springer, Heidelberg (2007)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)","DOI":"10.1002\/0471741442"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N. (eds.): Modern Business Process Automation \u2014 YAWL and its Support Environment. Springer (2010)","DOI":"10.1007\/978-3-642-03121-2"},{"issue":"1-2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0304-3975(96)80710-9","volume":"170","author":"V. Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: Towards a classification. TCS\u00a0170(1-2), 297\u2013348 (1996)","journal-title":"TCS"},{"key":"12_CR5","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer (1998)","DOI":"10.1007\/978-3-662-03687-7"},{"key":"12_CR7","unstructured":"Object Management Group (OMG): Unified Modeling Language: Superstructure. Version 2.1.2. Technical report (November 2007)"},{"key":"12_CR8","unstructured":"Hack, M.: Decidability Questions for Petri Nets. Outstanding Dissertations in the Computer Sciences. Garland Publishing, New York (1975)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, Part I. TCS\u00a013, 85\u2013108 (1981)","journal-title":"TCS"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-31131-4_9","volume-title":"Application and Theory of Petri Nets","author":"M. Weidlich","year":"2012","unstructured":"Weidlich, M., van der Werf, J.M.: On profiles and footprints \u2013 relational semantics for Petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol.\u00a07347, pp. 148\u2013167. Springer, Heidelberg (2012)"},{"key":"12_CR11","unstructured":"Dunham, M.H.: Data Mining: Introductory and Advanced Topics. Prentice-Hall (2002)"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.compind.2011.12.003","volume":"63","author":"R.M. Dijkman","year":"2012","unstructured":"Dijkman, R.M., La Rosa, M., Reijers, H.A.: Managing large collections of business process models \u2014 current techniques and challenges. Computers in Industry\u00a063(2), 91\u201397 (2012)","journal-title":"Computers in Industry"},{"key":"12_CR13","unstructured":"Petri, C.A.: Non-Sequential Processes. ISF, GMD (1977)"},{"key":"12_CR14","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-319-02922-1_2","volume-title":"Asia Pacific Business Process Management","author":"A.H.M. Hofstede ter","year":"2013","unstructured":"ter Hofstede, A.H.M., Ouyang, C., La Rosa, M., Song, L., Wang, J., Polyvyanyy, A.: APQL: A process-model query language. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol.\u00a0159, pp. 23\u201338. Springer, Heidelberg (2013)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-319-07881-6_30","volume-title":"CAiSE","author":"A. Polyvyanyy","year":"2014","unstructured":"Polyvyanyy, A., La Rosa, M., ter Hofstede, A.H.M.: Indexing and efficient instance-based retrieval of process models using untanglings. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol.\u00a08484, pp. 439\u2013456. Springer, Heidelberg (2014)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-642-23059-2_15","volume-title":"Business Process Management","author":"M. Kunze","year":"2011","unstructured":"Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity \u2013 A proper metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 166\u2013181. Springer, Heidelberg (2011)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/978-3-540-87608-3","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2008","unstructured":"van Dongen, B.F., Dijkman, R., Mendling, J.: Measuring similarity between business process models. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 450\u2013464. Springer, Heidelberg (2008)"},{"issue":"5","key":"12_CR18","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.compind.2010.01.001","volume":"61","author":"H. Zha","year":"2010","unstructured":"Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Computers in Industry\u00a061(5), 463\u2013471 (2010)","journal-title":"Computers in Industry"},{"issue":"2-3","key":"12_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behavior of Petri nets. IANDC 57(2\/3) (1983)","journal-title":"Information and Control"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-45594-9_8","volume-title":"Business Process Management","author":"J. Desel","year":"2000","unstructured":"Desel, J.: Validation of process models by construction of process nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 110\u2013128. Springer, Heidelberg (2000)"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00289268","volume":"15","author":"E.W. Mayr","year":"1981","unstructured":"Mayr, E.W.: Persistence of vector replacement systems is decidable. Acta Inf.\u00a015, 309\u2013318 (1981)","journal-title":"Acta Inf."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems (preliminary version). In: STOC, pp. 267\u2013281. ACM (1982)","DOI":"10.1145\/800070.802201"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The covering and boundedness problems for vector addition systems. TCS\u00a06, 223\u2013231 (1978)","journal-title":"TCS"},{"key":"12_CR24","unstructured":"Escrig, D.F.: Decidability of home states in place transition systems, Internal Report. Dpto. Informatica y Automatica. Univ. Complutense de Madrid (1986)"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"Best, E., Devillers, R.R., Kiehn, A., Pomello, L.: Concurrent bisimulations in Petri nets. Acta Inf.\u00a028(3), 231\u2013264 (1991)","journal-title":"Acta Inf."},{"key":"12_CR26","unstructured":"Polyvyanyy, A., Weidlich, M.: Towards a compendium of process technologies: The jBPT library for process model analysis. In: CAiSE Forum. CEUR, vol.\u00a0998 (2013)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. DKE\u00a0(5), 448\u2013466 (2011)","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"12_CR28","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":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-48320-9_29","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Meseguer","year":"1999","unstructured":"Meseguer, J., Talcott, C.: A partial order event model for concurrent objects. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 415\u2013430. Springer, Heidelberg (1999)"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining \u2014 Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"9","key":"12_CR32","first-page":"1128","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. TKDE\u00a016(9), 1128\u20131142 (2004)","journal-title":"TKDE"},{"issue":"7","key":"12_CR33","first-page":"1009","volume":"36","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. IS\u00a036(7), 1009\u20131025 (2011)","journal-title":"IS"},{"issue":"8","key":"12_CR34","first-page":"1885","volume":"85","author":"M. Weidlich","year":"2012","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Propagating changes between aligned process models. JSS\u00a085(8), 1885\u20131898 (2012)","journal-title":"JSS"},{"issue":"6","key":"12_CR35","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0020-0190(99)00074-5","volume":"70","author":"E. Kindler","year":"1999","unstructured":"Kindler, E., van der Aalst, W.M.P.: Liveness, fairness, and recurrence in Petri nets. IPL\u00a070(6), 269\u2013274 (1999)","journal-title":"IPL"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,10]],"date-time":"2022-04-10T05:33:50Z","timestamp":1649568830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}