{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:43:42Z","timestamp":1725795822311},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319078809"},{"type":"electronic","value":"9783319078816"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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-07881-6_30","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T23:14:33Z","timestamp":1401923673000},"page":"439-456","source":"Crossref","is-referenced-by-count":6,"title":["Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","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"},{"issue":"4","key":"30_CR2","first-page":"619","volume":"38","author":"M. Dumas","year":"2013","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., La Rosa, M., Uba, R.: Fast detection of exact clones in business process model repositories. IS\u00a038(4), 619\u2013633 (2013)","journal-title":"IS"},{"issue":"1","key":"30_CR3","first-page":"41","volume":"64","author":"T. Jin","year":"2013","unstructured":"Jin, T., Wang, J., La Rosa, M., ter Hofstede, A.H.M., Wen, L.: Efficient querying of large process model repositories. CII\u00a064(1), 41\u201349 (2013)","journal-title":"CII"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-24606-7_25","volume-title":"Conceptual Modeling \u2013 ER 2011","author":"A. Awad","year":"2011","unstructured":"Awad, A., Sakr, S., Kunze, M., Weske, M.: Design by selection: A reuse-based approach for business process modeling. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol.\u00a06998, pp. 332\u2013345. Springer, Heidelberg (2011)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The Journey to Business Process Compliance. In: Handbook of Research on BPM, pp. 426\u2013454. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Tregear, R.: Business Process Standardization. In: Handbook on Business Process Management: Part II, pp. 307\u2013327. Springer (2010)","DOI":"10.1007\/978-3-642-01982-1_15"},{"key":"30_CR7","unstructured":"Esparza, J., Heljanko, K.: Unfoldings \u2013 A Partial-Order Approach to Model Checking (2008)"},{"key":"30_CR8","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: VLDB, pp. 343\u2013354. ACM (2006)"},{"issue":"9","key":"30_CR9","first-page":"867","volume":"63","author":"A. Awad","year":"2012","unstructured":"Awad, A., Sakr, S.: On efficient processing of BPMN-Q queries. CII\u00a063(9), 867\u2013881 (2012)","journal-title":"CII"},{"key":"30_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-32885-5_20","volume-title":"Business Process Management","author":"Z. Yan","year":"2012","unstructured":"Yan, Z., Dijkman, R., Grefen, P.: FNet: An index for advanced business process querying. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 246\u2013261. Springer, Heidelberg (2012)"},{"issue":"2","key":"30_CR11","first-page":"498","volume":"36","author":"R.M. Dijkman","year":"2011","unstructured":"Dijkman, R.M., Dumas, M., van Dongen, B.F., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. IS\u00a036(2), 498\u2013516 (2011)","journal-title":"IS"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-20152-3_13","volume-title":"Database Systems for Advanced Applications","author":"T. Jin","year":"2011","unstructured":"Jin, T., Wang, J., Wen, L.: Querying business process models based on semantics. In: Yu, J.X., Kim, M.H., Unland, R. (eds.) DASFAA 2011, Part II. LNCS, vol.\u00a06588, pp. 164\u2013178. Springer, Heidelberg (2011)"},{"key":"30_CR13","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":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri\u00a0net transformations for business\u00a0processes \u2013 A\u00a0survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Goltz, U., Reisig, W.: The non-sequential behavior of Petri nets. IANDC 57(2\/3) (1983)","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"30_CR16","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":"30_CR17","unstructured":"Polyvyanyy, A., La Rosa, M., Ouyang, C., ter Hofstede, A.H.M.: Untanglings: A novel approach to analyzing concurrent systems (2013), \n                    \n                      http:\/\/eprints.qut.edu.au\/56455\/"},{"key":"30_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE Parallel Architectures and Languages Europe","author":"R.J. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Petri net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259, pp. 224\u2013242. Springer, Heidelberg (1987)"},{"key":"30_CR19","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 (5) (2011)","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Awad, A., Polyvyanyy, A., Weske, M.: Semantic querying of business process models. In: EDOC, pp. 85\u201394. IEEE Computer Society (2008)","DOI":"10.1109\/EDOC.2008.11"},{"key":"30_CR21","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":"30_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-319-07734-5_12","volume-title":"Petri Nets","author":"A. Polyvyanyy","year":"2014","unstructured":"Polyvyanyy, A., Weidlich, M., Conforti, R., La Rosa, M., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Kindler, E. (ed.) PETRI NETS 2014. LNCS, vol.\u00a08489, pp. 210\u2013232. Springer, Heidelberg (2014)"},{"key":"30_CR23","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)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07881-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:18:36Z","timestamp":1564618716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07881-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319078809","9783319078816"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07881-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}