{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:00:44Z","timestamp":1761512444696},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-74974-5_4","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T04:47:31Z","timestamp":1188362851000},"page":"43-55","source":"Crossref","is-referenced-by-count":126,"title":["Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition"],"prefix":"10.1007","author":[{"given":"Jussi","family":"Vanhatalo","sequence":"first","affiliation":[]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Leymann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Scott Ananian, C.: The static single information form. Master\u2019s thesis, Massachusetts Institute of Technology (September 1999)"},{"key":"4_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1006\/inco.1994.1080","volume":"114","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Reduction and synthesis of live and bounded free choice Petri nets. Inf. Comput.\u00a0114(1), 50\u201387 (1994)","journal-title":"Inf. Comput."},{"key":"4_CR4","unstructured":"Hauser, R., Friess, M., K\u00fcster, J.M., Vanhatalo, J.: An incremental approach to the analysis and transformation of workflows using region trees. IEEE Transactions on Systems, Man, and Cybernetics - Part C (June 2007) (to appear, also available as IBM Research Report RZ 3693)"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/178243.178258","volume-title":"PLDI","author":"R. Johnson","year":"1994","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI. Proceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation, pp. 171\u2013185. ACM Press, New York (1994)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/3-540-56863-8_54","volume-title":"Application and Theory of Petri Nets 1993","author":"P. Kemper","year":"1993","unstructured":"Kemper, P.: Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In: Ajmone Marsan, M. (ed.) Application and Theory of Petri Nets 1993. LNCS, vol.\u00a0691, pp. 319\u2013338. Springer, Heidelberg (1993)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: HICSS-35 2002. Proceedings of the 35th Hawaii International Conference on System Sciences, p. 289 (2002)","DOI":"10.1109\/HICSS.2002.994506"},{"key":"4_CR8","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (WU Wien), Austria (May 2007)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11841760_38","volume-title":"Business Process Management","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 451\u2013457. Springer, Heidelberg (2006)"},{"key":"4_CR10","first-page":"992","volume-title":"DEXA 2005","author":"S. Perumal","year":"2005","unstructured":"Perumal, S., Mahanti, A.: A graph-search based algorithm for verifying workflow graphs. In: DEXA 2005. Proceedings of the 16th International Workshop on Database and Expert Systems Applications, pp. 992\u2013996. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst.\u00a025(2), 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"Valette, R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences\u00a018(1), 35\u201346 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Hirnschall, A. (Eric) Verbeek, H.M.W.: An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","first-page":"372","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 372\u2013386. Springer, Heidelberg (2005)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models though SESE decomposition. IBM Research Report RZ 3694 (July 2007)","DOI":"10.1007\/978-3-540-74974-5_4"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. (Eric) Verbeek","year":"2001","unstructured":"(Eric) Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput. J.\u00a044(4), 246\u2013279 (2001)","journal-title":"Comput. J."},{"issue":"2","key":"4_CR18","first-page":"65","volume":"8","author":"L. Zerguini","year":"2004","unstructured":"Zerguini, L.: A novel hierarchical method for decomposition and design of workflow models. Journal of Integrated Design and Process Science\u00a08(2), 65\u201374 (2004)","journal-title":"Journal of Integrated Design and Process Science"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:17:16Z","timestamp":1684005436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}