{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:33:41Z","timestamp":1743104021907,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319484716"},{"type":"electronic","value":"9783319484723"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48472-3_4","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T04:43:13Z","timestamp":1476679393000},"page":"61-79","source":"Crossref","is-referenced-by-count":1,"title":["Transition Adjacency Relation Computation Based on Unfolding: Potentials and Challenges"],"prefix":"10.1007","author":[{"given":"Jisheng","family":"Pei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lijie","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaojun","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akhil","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijing","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"issue":"5","key":"4_CR1","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., et al.: A workflow net similarity measure based on transition adjacency relations. Comput. Ind. 61(5), 463\u2013471 (2010)","journal-title":"Comput. Ind."},{"issue":"3","key":"4_CR2","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. Softw. Eng. IEEE Trans. 37(3), 410\u2013429 (2011)","journal-title":"Softw. Eng. IEEE Trans."},{"issue":"3","key":"4_CR3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., Romer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285\u2013310 (2002)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"4_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-40022-6_19","volume-title":"Petri Net Technology for Communication-Based Systems","author":"WMP Aalst","year":"2003","unstructured":"Aalst, W.M.P.: Inheritance of business processes: a journey visiting four notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 383\u2013408. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-40022-6_19"},{"issue":"3","key":"4_CR6","first-page":"23","volume":"32","author":"M Dumas","year":"2009","unstructured":"Dumas, M., Garcia-Banuelos, 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":"4_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst Van Der","year":"2011","unstructured":"Van Der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"key":"4_CR8","unstructured":"Prescher, J., Mendling, J., Weidlich, M.: The projected TAR and its application to conformance checking. In: Enterprise Modelling and Information Systems Architectures (EMISA) (2012)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1007\/978-3-642-29253-8_64","volume-title":"Web Technologies and Applications","author":"T Jin","year":"2012","unstructured":"Jin, T., Wang, J., Wen, L.: Efficient retrieval of similar workflow models based on behavior. In: Sheng, Q.Z., Wang, G., Jensen, C.S., Xu, G. (eds.) APWeb 2012. LNCS, vol. 7235, pp. 677\u2013684. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29253-8_64"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-19589-1_7","volume-title":"Web Services and Formal Methods","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Elliger, F., Weske, M.: Generalised computation of behavioural profiles based on petri-net unfoldings. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 101\u2013115. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19589-1_7"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D Fahland","year":"2009","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: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278\u2013293. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03848-8_19"},{"key":"4_CR12","unstructured":"Pei, J., Wen, L., Ye, X.: Computation of Transition Adjacency Relations Based on complete finite prefix (Technical Report) arXiv preprint (2015). arXiv:1506.01428"},{"issue":"4","key":"4_CR13","doi-asserted-by":"crossref","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":"4_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00165-016-0372-4","volume":"28","author":"A Polyvyanyy","year":"2016","unstructured":"Polyvyanyy, A., et al.: On the expressive power of behavioral profiles. Formal Aspects Comput. 28, 1\u201317 (2016)","journal-title":"Formal Aspects Comput."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-319-02444-8_42","volume-title":"Automated Technology for Verification and Analysis","author":"C Rodr\u00edguez","year":"2013","unstructured":"Rodr\u00edguez, C., Schwoon, S.: Cunf: a tool for unfolding and verifying petri nets with read arcs. In: Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 492\u2013495. Springer, Heidelberg (2013). doi: 10.1007\/978-3-319-02444-8_42"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-319-10172-9_17","volume-title":"Business Process Management","author":"A Armas-Cervantes","year":"2014","unstructured":"Armas-Cervantes, A., Baldan, P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Behavioral comparison of process models based on canonically reduced event structures. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 267\u2013282. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-10172-9_17"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:19:06Z","timestamp":1498339146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}