{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T06:47:53Z","timestamp":1773298073321,"version":"3.50.1"},"reference-count":79,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T00:00:00Z","timestamp":1386028800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1007\/s10270-013-0389-6","type":"journal-article","created":{"date-parts":[[2013,12,2]],"date-time":"2013-12-02T04:38:29Z","timestamp":1385959109000},"page":"1105-1125","source":"Crossref","is-referenced-by-count":20,"title":["Querying process models by behavior inclusion"],"prefix":"10.1007","volume":"14","author":[{"given":"Matthias","family":"Kunze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,3]]},"reference":[{"key":"389_CR1","doi-asserted-by":"crossref","unstructured":"Aalst, W.M.P.V.D., Medeiros, A.K.A.D., Weijters, A.J.M.M.: Process equivalence: comparing two process models based on observed behavior. In: International Conference on Business Process Management (BPM 2006), vol. 4102 of Lecture Notes in Computer Science, pp. 129\u2013144. Springer (2006)","DOI":"10.1007\/11841760_10"},{"key":"389_CR2","doi-asserted-by":"crossref","unstructured":"Akkiraju, R., Ivan, A.: Discovering business process similarities: an empirical study with SAP best practice business processes. In: Service-Oriented Computing, Lecture Notes in Computer Science, vol. 6470, pp. 515\u2013526. Springer (2010)","DOI":"10.1007\/978-3-642-17358-5_35"},{"key":"389_CR3","doi-asserted-by":"crossref","unstructured":"Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq S.W., Leymann F. (eds.) Business Process Management Workshops, Lecture Notes in Business Information Processing, vol. 43, pp. 5\u201316. Springer (2009)","DOI":"10.1007\/978-3-642-12186-9_2"},{"key":"389_CR4","doi-asserted-by":"crossref","unstructured":"Awad, A., Polyvyanyy, A., Weske, M.: Semantic querying of business process models. In: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 85\u201394. IEEE Computer Society, Washington, DC (2008). doi: 10.1109\/EDOC.2008.11","DOI":"10.1109\/EDOC.2008.11"},{"key":"389_CR5","doi-asserted-by":"crossref","unstructured":"Awad, A., Sakr, S., Kunze, M., Weske, M.: Design by selection: a reuse-based approach for business process modeling. In: Proceedings of the 30th International Conference on Conceptual Modeling, ER\u201911. Springer","DOI":"10.1007\/978-3-642-24606-7_25"},{"issue":"2","key":"389_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. J. Log. Algebr. Program. 47(2), 47\u2013145 (2001)","journal-title":"J. Log. Algebr. Program."},{"issue":"2","key":"389_CR7","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.compind.2011.11.003","volume":"63","author":"M Becker","year":"2012","unstructured":"Becker, M., Laue, R.: A comparative survey of business process similarity measures. Comput. Ind. 63(2), 148\u2013167 (2012)","journal-title":"Comput. Ind."},{"issue":"6","key":"389_CR8","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1016\/j.is.2008.02.005","volume":"33","author":"C Beeri","year":"2008","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with bp-ql. Inf. Syst. 33(6), 477\u2013507 (2008). doi: 10.1016\/j.is.2008.02.005","journal-title":"Inf. Syst."},{"key":"389_CR9","doi-asserted-by":"crossref","unstructured":"Belhajjame, K., Brambilla, M.: Ontology-based description and discovery of business processes. In: Enterprise, Business-Process and Information Systems Modeling, Lecture Notes in Business Information Processing, vol. 29, pp. 85\u201398. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01862-6_8"},{"key":"389_CR10","doi-asserted-by":"crossref","unstructured":"Beyer, K., Goldstein, J., Ramakrishnan, R., Shaft, U.: When is \u201cnearest neighbor\u201d meaningful? In. In International Conference on Database Theory, pp. 217\u2013235 (1999)","DOI":"10.1007\/3-540-49257-7_15"},{"key":"389_CR11","doi-asserted-by":"crossref","unstructured":"Bose, R.P.J.C., van der Aalst, W.M.P.: Trace alignment in process mining: opportunities for process diagnostics. In: Proceedings of the 8th International Conference on Business Process Management, BPM\u201910, pp. 227\u2013242. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15618-2_17"},{"key":"389_CR12","doi-asserted-by":"crossref","unstructured":"Branco, M.C., Troya, J., Czarnecki, K., K\u00fcster, J.M., V\u00f6lzer, H.: Matching business process workflows across abstraction levels. In: R.B. France, J. Kazmeier, R. Breu, C. Atkinson (eds.) MoDELS, Lecture Notes in Computer Science, vol. 7590, pp. 626\u2013641. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_40"},{"issue":"4","key":"389_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0167-8655(83)90033-8","volume":"1","author":"H Bunke","year":"1983","unstructured":"Bunke, H., Allermann, G.: Inexact graph matching for structural pattern recognition. Pattern Recognit. Lett. 1(4), 245\u2013253 (1983). doi: 10.1016\/0167-8655(83)90033-8","journal-title":"Pattern Recognit. Lett."},{"key":"389_CR14","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0167-8655(97)00179-7","volume":"19","author":"H Bunke","year":"1998","unstructured":"Bunke, H., Shearer, K.: A graph distance metric based on the maximal common subgraph. Pattern Recogn. Lett. 19, 255\u2013259 (1998)","journal-title":"Pattern Recogn. Lett."},{"issue":"4","key":"389_CR15","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1002\/kpm.290","volume":"14","author":"I Choi","year":"2007","unstructured":"Choi, I., Kim, K., Jang, M.: An xml-based process repository and process query language for integrated process management. Knowl. Process Manag. 14(4), 303\u2013316 (2007). doi: 10.1002\/kpm.290","journal-title":"Knowl. Process Manag."},{"key":"389_CR16","unstructured":"Cohen, W.W., Ravikumar, P.D., Fienberg, S.E.: A comparison of string distance metrics for name-matching tasks. In: S. Kambhampati, C.A. Knoblock (eds.) IIWeb, pp. 73\u201378 (2003)"},{"key":"389_CR17","volume-title":"SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model","author":"T Curran","year":"1997","unstructured":"Curran, T., Keller, G., Ladd, A.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall Inc., Upper Saddle River, NJ (1997)"},{"key":"389_CR18","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1016\/j.datak.2009.02.013","volume":"68","author":"G Decker","year":"2009","unstructured":"Decker, G., Mendling, J.: Process instantiation. Data Knowl. Eng. 68, 777\u2013792 (2009). doi: 10.1016\/j.datak.2009.02.013","journal-title":"Data Knowl. Eng."},{"key":"389_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free-Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free-Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"389_CR20","doi-asserted-by":"crossref","unstructured":"Deutch, D., Milo, T.: Querying structural and behavioral properties of business processes. In: Proceedings of the 11th International Conference on Database Programming languages, DBPL\u201907, pp. 169\u2013185. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75987-4_12"},{"key":"389_CR21","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., van Dongen, B., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of business process models: metrics and evaluation. Inf. Syst. 36(2), 498\u2013516 (2011). doi: 10.1016\/j.is.2010.09.006 . Special Issue: Semantic Integration of Data, Multimedia, and Services","DOI":"10.1016\/j.is.2010.09.006"},{"key":"389_CR22","doi-asserted-by":"crossref","unstructured":"Dijkman, R.M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., K\u00e4\u00e4rik, R.: Aligning business process models. In: EDOC, pp. 45\u201353. IEEE Computer Society (2009)","DOI":"10.1109\/EDOC.2009.11"},{"issue":"12","key":"389_CR23","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"389_CR24","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.compind.2011.12.003","volume":"63","author":"RM Dijkman","year":"2012","unstructured":"Dijkman, R.M., Rosa, M.L., Reijers, H.A.: Managing large collections of business process models: current techniques and challenges. Comput. Ind. 63(2), 91\u201397 (2012)","journal-title":"Comput. Ind."},{"issue":"3","key":"389_CR25","first-page":"23","volume":"32","author":"M Dumas","year":"2009","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Dijkman, R.M.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23\u201328 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"389_CR26","doi-asserted-by":"crossref","unstructured":"Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: APCCM \u201907: Proceedings of the 4th Asia-Pacific Conference on Conceptual Modelling, pp. 71\u201380. Australian Computer Society Inc., Darlinghurst, Australia (2007)","DOI":"10.1145\/1244002.1244274"},{"key":"389_CR27","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Grefen, P.: Structural matching of BPEL processes. In: Proceedings of the 5th European Conference on Web Services, pp. 171\u2013180. IEEE Computer Society, Washington, DC (2007). doi: 10.1109\/ECOWS.2007.26","DOI":"10.1109\/ECOWS.2007.26"},{"key":"389_CR28","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Berlin (2007)"},{"key":"389_CR29","doi-asserted-by":"crossref","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: U. Dayal, J. Eder, J. Koehler, H.A. Reijers (eds.) BPM, Lecture Notes in Computer Science, vol. 5701, pp. 278\u2013293. Springer (2009)","DOI":"10.1007\/978-3-642-03848-8_19"},{"key":"389_CR30","doi-asserted-by":"crossref","unstructured":"Gerke, K., Cardoso, J., Claus, A.: Measuring the compliance of processes with reference models. In: On the Move to Meaningful Internet Systems: OTM 2009, Lecture Notes in Computer Science, vol. 5870, pp. 76\u201393. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-05148-7_8"},{"key":"389_CR31","doi-asserted-by":"crossref","unstructured":"Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: Proceedings of the IEEE International Conference on Web Services, pp. 145\u2013152. IEEE Computer Society, Washington, DC (2006). doi: 10.1109\/ICWS.2006.37","DOI":"10.1109\/ICWS.2006.37"},{"key":"389_CR32","unstructured":"Hack, M.: Decidability questions for petri nets. Ph.D. thesis, M.I.T. (1976)"},{"key":"389_CR33","unstructured":"Hoare, C.A.R.: A Model for Communicating Sequential Processes. Tech. rep., Oxford University Computing Laboratory (1980)"},{"key":"389_CR34","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wen, L.: Efficient retrieval of similar business process models based on structure. In: On the Move to Meaningful Internet Systems: OTM 2011, Lecture Notes in Computer Science, vol. 7044, pp. 56\u201363. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-25109-2_5"},{"key":"389_CR35","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wen, L.: Querying business process models based on semantics. In: Proceedings of the 16th International Conference on Database Systems for Advanced Applications: Part II, DASFAA\u201911, pp. 164\u2013178. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-20152-3_13"},{"key":"389_CR36","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wen, L.: Efficient retrieval of similar workflow models based on behavior. In: Web Technologies and Applications, Lecture Notes in Computer Science, vol. 7235, pp. 677\u2013684. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-29253-8_64"},{"key":"389_CR37","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wu, N., Rosa, M.L., ter Hofstede, A.H.M.: Efficient and accurate retrieval of business process models through indexing\u2014(short paper). In: Meersman et al. [54], pp. 402\u2013409","DOI":"10.1007\/978-3-642-16934-2_28"},{"key":"389_CR38","doi-asserted-by":"crossref","unstructured":"Jung, J.Y., Bae, J., Liu, L.: Hierarchical business process clustering. In: IEEE SCC (2), pp. 613\u2013616. IEEE Computer Society (2008)","DOI":"10.1109\/SCC.2008.69"},{"key":"389_CR39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2002","unstructured":"Kiepuszewski, B., Hofstede, A.H.M.T., van der Aalst, W.: Fundamentals of control flow in workflows. Acta Inform 39, 143\u2013209 (2002)","journal-title":"Acta Inform"},{"key":"389_CR40","volume-title":"The Art of Computer Programming, vol. 3: Sorting and Searching","author":"DE Knuth","year":"1973","unstructured":"Knuth, D.E.: The Art of Computer Programming, vol. 3: Sorting and Searching, 2nd edn. Addison-Wesley, Reading, MA (1973)","edition":"2"},{"key":"389_CR41","unstructured":"Koschmider, A.: \u00c4hnlichkeitsbasierte Modellierungsunterst\u00fctzung f\u00fcr Gesch\u00e4ftsprozesse. Ph.D. thesis, Universit\u00e4t Karlsruhe (TH), Fakult\u00e4t f\u00fcr Wirtschaftswissenschaften (2007)"},{"key":"389_CR42","doi-asserted-by":"crossref","unstructured":"Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity: a proper metric. In: Proceedings of the 9th International Conference on Business Process Management, BPM \u201911, pp. 166\u2013181. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-23059-2_15"},{"key":"389_CR43","doi-asserted-by":"crossref","unstructured":"Kunze, M., Weske, M.: Metric trees for efficient similarity search in process model repositories. In: Proceedings of the 1st International Workshop on Process in the Large (IW-PL \u201910). Hoboken, NJ (2010)","DOI":"10.1007\/978-3-642-20511-8_49"},{"key":"389_CR44","doi-asserted-by":"crossref","unstructured":"Kunze, M., Weske, M.: Local behavior similarity. In: BPMDS 2012 and EMMSAD 2012, LNBIP, vol. 113, pp. 107\u2013120. Springer (2012)","DOI":"10.1007\/978-3-642-31072-0_8"},{"key":"389_CR45","doi-asserted-by":"crossref","unstructured":"Leopold, H., Niepert, M., Weidlich, M., Mendling, J., Dijkman, R.M., Stuckenschmidt, H.: Probabilistic optimization of semantic process model matching. In: A.P. Barros, A. Gal, E. Kindler (eds.) BPM, Lecture Notes in Computer Science, vol. 7481, pp. 319\u2013334. Springer (2012)","DOI":"10.1007\/978-3-642-32885-5_25"},{"key":"389_CR46","first-page":"707","volume":"10","author":"V Levenshtein","year":"1966","unstructured":"Levenshtein, V.: Binary codes capable of correcting deletions, insertions and reversals. Sov. Phys. Doklady 10, 707 (1966)","journal-title":"Sov. Phys. Doklady"},{"key":"389_CR47","doi-asserted-by":"crossref","unstructured":"Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Q. Li, S. Spaccapietra, E.S.K. Yu, A. Oliv\u00e9 (eds.) ER, Lecture Notes in Computer Science, vol. 5231, pp. 248\u2013264. Springer (2008)","DOI":"10.1007\/978-3-540-87877-3_19"},{"key":"389_CR48","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1023\/A:1019154432472","volume":"26","author":"A Lipkus","year":"1999","unstructured":"Lipkus, A.: A proof of the triangle inequality for the Tanimoto distance. J. Math. Chem. 26, 263\u2013265 (1999)","journal-title":"J. Math. Chem."},{"key":"389_CR49","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes: a survey. In: Transactions on Petri Nets and Other Models of Concurrency, chap. 2, pp. 46\u201363. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00899-3_3"},{"key":"389_CR50","doi-asserted-by":"crossref","unstructured":"Lu, R., Sadiq, S.: On the discovery of preferred work practice through business process variants. In: Proceedings of the 26th International Conference on Conceptual Modeling, ER\u201907, pp. 165\u2013180. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75563-0_13"},{"key":"389_CR51","volume-title":"Foundations of Statistical Natural Language Processing","author":"CD Manning","year":"1999","unstructured":"Manning, C.D., Sch\u00fctze, H.: Foundations of Statistical Natural Language Processing. MIT Press, Cambridge, MA (1999)"},{"key":"389_CR52","doi-asserted-by":"crossref","unstructured":"Markovic, I., Costa Pereira, A., Francisco, D., Mu noz, H.: Querying in Business Process Modeling, pp. 234\u2013245 (2007)","DOI":"10.1007\/978-3-540-93851-4_23"},{"key":"389_CR53","unstructured":"Markovic, I., Pereira, A.C.: Towards a formal framework for reuse in business process modeling. In: Business Process Management Workshops, Lecture Notes in Computer Science, vol. 4928, pp. 484\u2013495. Springer, Berlin (2007). doi: 10.1007\/978-3-540-78238-4-49 . http:\/\/www.springerlink.com\/content\/xqg31444r0255660\/"},{"key":"389_CR54","doi-asserted-by":"crossref","unstructured":"Meersman, R., Dillon, T.S., Herrero, P. (eds.): On the move to meaningful internet systems: OTM 2010\u2014Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25\u201329, 2010, Proceedings, Part I, Lecture Notes in Computer Science, vol. 6426. Springer (2010)","DOI":"10.1007\/978-3-642-16949-6"},{"key":"389_CR55","doi-asserted-by":"crossref","unstructured":"Mendling, J.: Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness, Lecture Notes in Business Information Processing, vol. 6. Springer (2008)","DOI":"10.1007\/978-3-540-89224-3"},{"key":"389_CR56","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller, G.A.: Wordnet: a lexical database for english. Commun. ACM 38, 39\u201341 (1995). doi: 10.1145\/219717.219748","journal-title":"Commun. ACM"},{"key":"389_CR57","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: Proceedings of the 29th International Conference on Software Engineering, ICSE \u201907, pp. 54\u201364. IEEE Computer Society, Washington, DC (2007). doi: 10.1109\/ICSE.2007.50","DOI":"10.1109\/ICSE.2007.50"},{"key":"389_CR58","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational Geometry: An Introduction","author":"FP Preparata","year":"1985","unstructured":"Preparata, F.P., Shamos, M.I.: Computational Geometry: An Introduction. Springer, New York (1985)"},{"key":"389_CR59","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol. 4. Springer (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"issue":"3","key":"389_CR60","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1108\/14637150610668024","volume":"12","author":"M Rosemann","year":"2006","unstructured":"Rosemann, M.: Potential pitfalls of process modeling: part B. Bus. Process Manag. J. 12(3), 377\u2013384 (2006). doi: 10.1108\/14637150610668024","journal-title":"Bus. Process Manag. J."},{"key":"389_CR61","doi-asserted-by":"crossref","unstructured":"Sakr, S., Al-Naymat, G.: Graph indexing and querying: a review. Int. J. Web Inf. Syst. 6(2), 101\u2013120 (2010). doi: 10.1108\/17440081011053104 . http:\/\/www.emeraldinsight.com","DOI":"10.1108\/17440081011053104"},{"key":"389_CR62","doi-asserted-by":"crossref","unstructured":"Sakr, S., Awad, A., Kunze, M.: Querying process models repositories by aggregated graph search. In: Proceedings of the 3rd International Workshop on Reuse in BPM, p. (to appear) (2012)","DOI":"10.1007\/978-3-642-36285-9_58"},{"key":"389_CR63","doi-asserted-by":"crossref","unstructured":"Shao, Q., Sun, P., Chen, Y.: Wise: A workflow information search engine. In: Proceedings of the 2009 IEEE International Conference on Data Engineering, pp. 1491\u20131494. IEEE Computer Society, Washington, DC (2009). doi: 10.1109\/ICDE.2009.89","DOI":"10.1109\/ICDE.2009.89"},{"key":"389_CR64","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Kannan, S., Lee, I.: Simulation-based graph similarity. In: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201906), pp. 426\u2013440 (2006)","DOI":"10.1007\/11691372_28"},{"key":"389_CR65","doi-asserted-by":"crossref","unstructured":"Song, L., Wang, J., Wen, L., Wang, W., Tan, S., Kong, H.: Querying process models based on the temporal relations between tasks. In: Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops, EDOCW \u201911, pp. 213\u2013222. IEEE Computer Society, Washington, DC (2011) doi: 10.1109\/EDOCW.2011.12","DOI":"10.1109\/EDOCW.2011.12"},{"key":"389_CR66","doi-asserted-by":"crossref","unstructured":"Uba, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Rosa, M.L.: Clone detection in repositories of business process models. In: S. Rinderle-Ma, F. Toumani, K. Wolf (eds.) BPM, Lecture Notes in Computer Science, vol. 6896, pp. 248\u2013264. Springer (2011)","DOI":"10.1007\/978-3-642-23059-2_20"},{"key":"389_CR67","doi-asserted-by":"crossref","unstructured":"Valmari, A.: The state explosion problem. In: Petri Nets, Lecture Notes in Computer Science, vol. 1491, pp. 429\u2013528. Springer (1996)","DOI":"10.1007\/3-540-65306-6_21"},{"key":"389_CR68","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: ICATPN \u201997: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp. 407\u2013426. Springer, London (1997)","DOI":"10.1007\/3-540-63139-9_48"},{"issue":"1","key":"389_CR69","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"389_CR70","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring and completion. In: Proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC \u201908, pp. 100\u2013115. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89652-4_11"},{"key":"389_CR71","doi-asserted-by":"crossref","unstructured":"Wang, J., He, T., Wen, L., Wu, N., Ter Hofstede, A.H.M., Su, J.: A behavioral similarity measure between labeled petri nets based on principal transition sequences. In: Proceedings of the 2010 International Conference on On the Move to Meaningful Internet Systems, vol. Part I, OTM\u201910, pp. 394\u2013401. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16934-2_27"},{"key":"389_CR72","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Mendling, J.: The icop framework: identification of correspondences between process models. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, CAiSE\u201910, pp. 483\u2013498. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13094-6_37"},{"key":"389_CR73","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Elliger, F., Weske, M.: Generalised computation of behavioural profiles based on petri-net unfoldings. In: M. Bravetti, T. Bultan (eds.) WS-FM, Lecture Notes in Computer Science, vol. 6551, pp. 101\u2013115. Springer (2010)","DOI":"10.1007\/978-3-642-19589-1_7"},{"issue":"3","key":"389_CR74","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TSE.2010.96","volume":"37","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Softw. Eng. 37(3), 410\u2013429 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"389_CR75","doi-asserted-by":"crossref","unstructured":"Weidlich, M., van der Werf, J.M.E.M.: On profiles and footprints\u2014relational semantics for petri nets. In: S. Haddad, L. Pomello (eds.) Petri Nets, Lecture Notes in Computer Science, vol. 7347, pp. 148\u2013167. Springer (2012)","DOI":"10.1007\/978-3-642-31131-4_9"},{"key":"389_CR76","doi-asserted-by":"crossref","unstructured":"Yan, Z., Dijkman, R.M., Grefen, P.: Fast Business Process Similarity Search with Feature-Based Similarity Estimation. In: Meersman et al. [56], pp. 60\u201377","DOI":"10.1007\/978-3-642-16934-2_8"},{"key":"389_CR77","volume-title":"Similarity Search: The Metric Space Approach","author":"P Zezula","year":"2005","unstructured":"Zezula, P., Amato, G., Dohnal, V., Batko, M.: Similarity Search: The Metric Space Approach. Springer, Secaucus, NJ (2005)"},{"issue":"5","key":"389_CR78","doi-asserted-by":"crossref","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. Comput. Ind. 61(5), 463\u2013471 (2010)","journal-title":"Comput. Ind."},{"key":"389_CR79","doi-asserted-by":"crossref","unstructured":"Zloof, M.M.: Query by example. In: Proceedings of the May 19\u201322, 1975, National Computer Conference and Exposition, AFIPS \u201975, pp. 431\u2013438. ACM, New York, NY (1975). doi: 10.1145\/1499949.1500034","DOI":"10.1145\/1499949.1500034"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0389-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0389-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0389-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T07:47:06Z","timestamp":1647589626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0389-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,3]]},"references-count":79,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["389"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0389-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,3]]}}}