{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:23:40Z","timestamp":1758266620411,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T00:00:00Z","timestamp":1508457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"the Project of National Natural Science Foundation of China","award":["61472228","61502280"],"award-info":[{"award-number":["61472228","61502280"]}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2014FM009"],"award-info":[{"award-number":["ZR2014FM009"]}],"id":[{"id":"10.13039\/501100007129","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":[[2019,8]]},"DOI":"10.1007\/s10766-017-0536-8","type":"journal-article","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T11:16:38Z","timestamp":1508498198000},"page":"709-724","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Soundness Analytics of Composed Logical Workflow Nets"],"prefix":"10.1007","volume":"47","author":[{"given":"Wei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Yan","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":[[2017,10,20]]},"reference":[{"issue":"4","key":"536_CR1","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1007\/s10766-016-0440-7","volume":"45","author":"W Liu","year":"2017","unstructured":"Liu, W., Wang, L., Du, Y.Y., Li, M.Z.: Deadlock property analysis of concurrent programs based on Petri net structure. Int. J. Parallel Prog. 45(4), 879\u2013898 (2017)","journal-title":"Int. J. Parallel Prog."},{"key":"536_CR2","first-page":"307","volume-title":"Reflections on a Decade of Interorganizational Workflow Research. Seminal Contributions to Information Systems Engineering","author":"WMP Aalst Van Der","year":"2013","unstructured":"Van Der Aalst, W.M.P., Weske, M.: Reflections on a Decade of Interorganizational Workflow Research. Seminal Contributions to Information Systems Engineering, pp. 307\u2013313. Springer, Berlin (2013)"},{"issue":"1","key":"536_CR3","first-page":"22","volume":"34","author":"HX Li","year":"2015","unstructured":"Li, H.X., Du, Y.Y.: A survey of research issues and key technology for business process management. J. Shandong Univ. Sci. Technol. 34(1), 22\u201328 (2015)","journal-title":"J. Shandong Univ. Sci. Technol."},{"issue":"1","key":"536_CR4","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."},{"issue":"8","key":"536_CR5","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1016\/j.simpat.2009.06.011","volume":"17","author":"YB Han","year":"2009","unstructured":"Han, Y.B., Wang, J., Zhang, P.: Business-oriented service modeling: a case study. Simul. Model. Pract. Theory 17(8), 1413\u20131429 (2009)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"8","key":"536_CR6","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1080\/17517575.2013.879924","volume":"9","author":"J Wang","year":"2015","unstructured":"Wang, J., Du, Y.Y., Yu, S.X.: Coloured logic Petri nets and analysis of their reachable trees. Enterp. Inf. Syst. 9(8), 900\u2013919 (2015)","journal-title":"Enterp. Inf. Syst."},{"issue":"4","key":"536_CR7","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1007\/s11704-014-3002-9","volume":"8","author":"YY Du","year":"2014","unstructured":"Du, Y.Y., Ning, Y.H.: Property analysis of logic Petri nets by marking reachability graphs. Front. Comput. Sci. 8(4), 684\u2013692 (2014)","journal-title":"Front. Comput. Sci."},{"issue":"4","key":"536_CR8","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1080\/17517575.2010.541943","volume":"5","author":"YY Du","year":"2011","unstructured":"Du, Y.Y., Qi, L., Zhou, M.C.: A vector matching method for analyzing logic Petri nets. Enterp. Inf. Syst. 5(4), 449\u2013468 (2011)","journal-title":"Enterp. Inf. Syst."},{"issue":"1","key":"536_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1080\/17517575.2011.617472","volume":"6","author":"W Liu","year":"2012","unstructured":"Liu, W., Du, Y.Y., Yan, C.: Soundness preservation in composed logical time workflow nets. Enterp. Inf. Syst. 6(1), 95\u2013113 (2012)","journal-title":"Enterp. Inf. Syst."},{"issue":"10","key":"536_CR10","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1109\/TSMC.2014.2311392","volume":"44","author":"W Liu","year":"2014","unstructured":"Liu, W., Du, Y.Y., Zhou, M.C., et al.: Transformation of logical workflow nets. IEEE Trans. Syst. Man Cybern. Syst. 44(10), 1401\u20131412 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"6","key":"536_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.ins.2013.10.014","volume":"268","author":"Q Hu","year":"2014","unstructured":"Hu, Q., Du, Y.Y., Yu, S.X.: Service net algebra based on logic Petri nets. Inf. Sci. 268(6), 271\u2013289 (2014)","journal-title":"Inf. Sci."},{"issue":"6","key":"536_CR12","doi-asserted-by":"publisher","first-page":"2789","DOI":"10.3233\/JIFS-169160","volume":"31","author":"C Yan","year":"2016","unstructured":"Yan, C., Sun, H.T., Liu, W.: Study of fuzzy association rules and cross-selling toward property insurance customers based on FARMA. J. Intell. Fuzzy Syst. 31(6), 2789\u20132794 (2016)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"536_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2017.07.027","author":"YQ Li","year":"2017","unstructured":"Li, Y.Q., Yan, C., Liu, W., Li, M.Z.: A principle component analysis-based random forest with the potential nearest neighbor method for automobile insurance fraud identification. Appl. Soft Comput. (2017). doi:\n                    10.1016\/j.asoc.2017.07.027","journal-title":"Appl. Soft Comput."},{"issue":"5","key":"536_CR14","first-page":"1309","volume":"24","author":"ZJ Ding","year":"2008","unstructured":"Ding, Z.J., Wang, J.L., Jiang, C.J.: An approach for synthesis petri nets for modeling and verifying composite web service. J. Inf. Sci. Eng. 24(5), 1309\u20131328 (2008)","journal-title":"J. Inf. Sci. Eng."},{"issue":"7","key":"536_CR15","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1016\/j.ins.2008.11.025","volume":"179","author":"YY Du","year":"2009","unstructured":"Du, Y.Y., Jiang, C.J., Zhou, M.C., et al.: Modeling and monitoring of e-commerce workflows. Inf. Sci. 179(7), 995\u20131006 (2009)","journal-title":"Inf. Sci."},{"issue":"8","key":"536_CR16","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.3923\/itj.2008.1194.1199","volume":"7","author":"HC Sun","year":"2008","unstructured":"Sun, H.C., Du, Y.Y.: Soundness analysis of inter-organizational workflows. Inf. Technol. J. 7(8), 1194\u20131199 (2008)","journal-title":"Inf. Technol. J."},{"key":"536_CR17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2743113","author":"W Liu","year":"2017","unstructured":"Liu, W., Wang, P., Du, Y.Y., Zhou, M.C., Yan, C.: Extended logical Petri nets-based modeling and analysis of business processes. IEEE Access (2017). doi:\n                    10.1109\/ACCESS.2017.2743113","journal-title":"IEEE Access"},{"issue":"1","key":"536_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/s00170-008-1457-x","volume":"41","author":"GJ Liu","year":"2009","unstructured":"Liu, G.J., Jiang, C.J., Wu, Z.H., et al.: A live subclass of Petri nets and their application in modeling flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 41(1), 66\u201374 (2009)","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"536_CR19","doi-asserted-by":"publisher","first-page":"4104","DOI":"10.1109\/ACCESS.2016.2597061","volume":"4","author":"GJ Liu","year":"2016","unstructured":"Liu, G.J., Reisig, W., Jiang, C.J., et al.: A branching process based method to check soundness of workflow systems. IEEE Access 4, 4104\u20134118 (2016)","journal-title":"IEEE Access"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0536-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-017-0536-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0536-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:20:49Z","timestamp":1569392449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-017-0536-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,20]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["536"],"URL":"https:\/\/doi.org\/10.1007\/s10766-017-0536-8","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2017,10,20]]},"assertion":[{"value":"25 August 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 October 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with Ethical Standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}