{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T01:29:42Z","timestamp":1762738182859,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T00:00:00Z","timestamp":1463097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61170078"],"award-info":[{"award-number":["61170078"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10766-016-0438-1","type":"journal-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T07:07:31Z","timestamp":1463123251000},"page":"1001-1020","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Repair of Workflow Models Based on Mirroring Matrices"],"prefix":"10.1007","volume":"45","author":[{"given":"Yanan","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyue","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maozhen","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,13]]},"reference":[{"issue":"9","key":"438_CR1","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A., Maruster, L.: Workflow mining: discovering process model form event Logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"438_CR2","first-page":"387C412","volume":"94","author":"J Werf van der","year":"2010","unstructured":"van der Werf, J., van Dongen, B., Hurkens, C., Serebrenik, A.: Process discovery using integer linear programming. Fundam. Inform. 94(1), 387C412 (2010)","journal-title":"Fundam. Inform."},{"issue":"5","key":"438_CR3","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/j.datak.2011.01.005","volume":"70","author":"Chen Li","year":"2011","unstructured":"Li, Chen, Reichert, Manfred, Wombacher, Andreas: Mining business process variants: challenges, scenarios, algorithms. Data Knowl. Eng. 70(5), 409\u2013434 (2011)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"438_CR4","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"Dirk Fahland","year":"2015","unstructured":"Fahland, Dirk, van der Aalst, W.M.P.: Model repair: aligning process models to reality. Inform. Syst. 47(1), 220\u2013243 (2015)","journal-title":"Inform. Syst."},{"issue":"1","key":"438_CR5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1109\/TNNLS.2013.2278313","volume":"25","author":"RP Jagadeesh Chandra Bose","year":"2014","unstructured":"Jagadeesh Chandra Bose, R.P., van der Aalst, Wil M.P., Zliobaite, Indre, Pechenizkiy, Mykola: Dealing with concept drifts in process mining. IEEE Trans. Neural Netw. Learn. Syst. 25(1), 154\u2013171 (2014)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"2","key":"438_CR6","doi-asserted-by":"crossref","first-page":"e0116532","DOI":"10.1371\/journal.pone.0116532","volume":"10","author":"JA Garca-Grajales","year":"2015","unstructured":"Garca-Grajales, J.A., Rucabado, G., Garca-Dopico, A., et al.: Neurite, a finite difference large scale parallel program for the simulation of electrical signal propagation in neurites under mechanical loading. PloS One 10(2), e0116532 (2015)","journal-title":"PloS One"},{"key":"438_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.parco.2015.10.013","volume":"51","author":"LA Wilson","year":"2016","unstructured":"Wilson, L.A., von Ronne, J.: A task-uncoordinated distributed dataflow model for scalable high performance parallel program execution. Parallel Comput. 51, 79\u201387 (2016)","journal-title":"Parallel Comput."},{"key":"438_CR8","doi-asserted-by":"crossref","unstructured":"Wilson, L.A., von Ronne, J.: A distributed dataflow model for task-uncoordinated parallel program execution, parallel processing workshops (ICCPW), 2014 43rd international conference on. IEEE, pp. 321\u2013330 (2014)","DOI":"10.1109\/ICPPW.2014.49"},{"key":"438_CR9","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, Berlin (2011)"},{"issue":"4","key":"438_CR10","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"},{"issue":"2","key":"438_CR11","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/TSMCA.2008.2010751","volume":"39","author":"YY Du","year":"2009","unstructured":"Du, Y.Y., Jiang, C.J., Zhou, M.C.: A Petri net-based model for verfication of obligations and accountability in cooperative systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 39(2), 299\u2013308 (2009)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Hum."},{"issue":"1","key":"438_CR12","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/TSMCC.2007.896995","volume":"38","author":"YY Du","year":"2008","unstructured":"Du, Y.Y., Jiang, C.J., Zhou, M.C.: A Petri nets based correctness analysis of internet stock trading systems. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 38(1), 93\u201399 (2008)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C Appl. Rev."},{"issue":"11","key":"438_CR13","first-page":"1889","volume":"30","author":"C Lin","year":"2007","unstructured":"Lin, C., Yang, H.K., Shan, Z.G.: Application of Petri nets to bioinformatics. Chin. J. Comput. 30(11), 1889\u20131900 (2007)","journal-title":"Chin. J. Comput."},{"issue":"8","key":"438_CR14","first-page":"1194","volume":"7","author":"HC Sun","year":"2008","unstructured":"Sun, H.C., Du, Y.Y.: Soundness analysis of inter-organizational workflows. Inform. J. 7(8), 1194\u20131199 (2008)","journal-title":"Inform. J."},{"issue":"4","key":"438_CR15","first-page":"471","volume":"27","author":"YY Du","year":"2004","unstructured":"Du, Y.Y., Jang, J.C.: Modeling real-time cooperative systems with workflow nets. Chin. J. Comput. 27(4), 471\u2013481 (2004)","journal-title":"Chin. J. Comput."},{"issue":"8","key":"438_CR16","first-page":"1472","volume":"13","author":"C Lin","year":"2002","unstructured":"Lin, C., Tian, L.Q., Wei, Y.Y.: Performance equivalent analysis of workflow systems. J. Softw. 13(8), 1472\u20131480 (2002)","journal-title":"J. Softw."},{"issue":"3","key":"438_CR17","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification decidability and analysis. Formal Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Formal Asp. Comput."},{"issue":"2","key":"438_CR18","first-page":"182C192","volume":"2","author":"WMP Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Min. Know. Discov. 2(2), 182C192 (2012)","journal-title":"WIREs Data Min. Know. Discov."},{"issue":"1","key":"438_CR19","doi-asserted-by":"crossref","first-page":"64C95","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. Inform. Syst. 33(1), 64C95 (2008)","journal-title":"Inform. Syst."},{"issue":"1","key":"438_CR20","first-page":"29","volume":"34","author":"YH Tian","year":"2015","unstructured":"Tian, Y.H., Du, Y.Y.: A grouping algorithm of optimal alignments. J Shandong Univ. Sci. Technol. 34(1), 29\u201334 (2015)","journal-title":"J Shandong Univ. Sci. Technol."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-016-0438-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0438-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0438-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0438-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T12:27:45Z","timestamp":1567859265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-016-0438-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,13]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["438"],"URL":"https:\/\/doi.org\/10.1007\/s10766-016-0438-1","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2016,5,13]]}}}