{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:53:48Z","timestamp":1725566028404},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156175"},{"type":"electronic","value":"9783642156182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15618-2_20","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T09:23:04Z","timestamp":1284369784000},"page":"276-293","source":"Crossref","is-referenced-by-count":46,"title":["Structuring Acyclic Process Models"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Garc\u00eda-Ba\u00f1uelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B. Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On Structured Workflow Modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 431\u2013445. Springer, Heidelberg (2000)"},{"key":"20_CR2","series-title":"LNBIP","first-page":"585","volume-title":"UNISCON","author":"R. Laue","year":"1974","unstructured":"Laue, R., Mendling, J.: The Impact of Structuredness on Error Probability of Process Models. In: UNISCON. LNBIP, vol.\u00a05, pp. 585\u2013590. Springer, Heidelberg (1974)"},{"key":"20_CR3","volume-title":"Business Process Modeling, Simulation, and Design","author":"M. Laguna","year":"2005","unstructured":"Laguna, M., Marklund, J.: Business Process Modeling, Simulation, and Design. Prentice Hall, Englewood Cliffs (2005)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-03848-8_6","volume-title":"Business Process Management","author":"C. Combi","year":"2009","unstructured":"Combi, C., Posenato, R.: Controllability in Temporal Conceptual Workflow Schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 64\u201379. Springer, Heidelberg (2009)"},{"issue":"3","key":"20_CR5","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/comjnl\/25.3.379","volume":"25","author":"G. Oulsnam","year":"1982","unstructured":"Oulsnam, G.: Unravelling unstructured programs. Comput. J.\u00a025(3), 379\u2013387 (1982)","journal-title":"Comput. J."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11538394_18","volume-title":"Business Process Management","author":"R. Liu","year":"2005","unstructured":"Liu, R., Kumar, A.: An Analysis and Taxonomy of Unstructured Workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 268\u2013284. Springer, Heidelberg (2005)"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/TSMCC.2008.919178","volume":"38","author":"R. Hauser","year":"2008","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\u00a038(3), 347\u2013359 (2008)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-642-05148-7_23","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"A. Polyvyanyy","year":"2009","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Weske, M.: Unveiling Hidden Unstructured Regions in Process Models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05870, pp. 340\u2013356. Springer, Heidelberg (2009)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/978-3-540-30175-2_17","volume-title":"Generative Programming and Component Engineering","author":"R. Hauser","year":"2004","unstructured":"Hauser, R., Koehler, J.: Compiling Process Graphs into Executable Code. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol.\u00a03286, pp. 317\u2013336. Springer, Heidelberg (2004)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-540-30468-5_10","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Koehler","year":"2004","unstructured":"Koehler, J., Hauser, R.: Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, pp. 121\u2013138. Springer, Heidelberg (2004)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol.\u00a019(1) (2009)","DOI":"10.1145\/1555392.1555395"},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Inf.\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Inf."},{"issue":"9","key":"20_CR13","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J. Vanhatalo","year":"2009","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The Refined Process Structure Tree. Data & Knowledge Engineering\u00a068(9), 793\u2013818 (2009)","journal-title":"Data & Knowledge Engineering"},{"key":"20_CR14","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. Technical Report RZ 3745, IBM (2009)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"20_CR16","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.) BPM 2000. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R.J. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The Linear Time-Branching Time Spectrum (Extended Abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"issue":"3","key":"20_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"Best, E., Devillers, R.R., Kiehn, A., Pomello, L.: Concurrent bisimulations in petri nets. Acta Inf.\u00a028(3), 231\u2013264 (1991)","journal-title":"Acta Inf."},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.dam.2004.02.017","volume":"145","author":"R.M. McConnell","year":"2005","unstructured":"McConnell, R.M., de Montgolfier, F.: Linear-time modular decomposition of directed graphs. Discrete Applied Mathematics\u00a0145(2), 198\u2013209 (2005)","journal-title":"Discrete Applied Mathematics"},{"issue":"3","key":"20_CR20","first-page":"285","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An Improvement of McMillan\u2019s Unfolding Algorithm. FMSD\u00a020(3), 285\u2013310 (2002)","journal-title":"FMSD"},{"issue":"1","key":"20_CR21","first-page":"5","volume":"12","author":"A. Kondratyev","year":"1998","unstructured":"Kondratyev, A., Kishinevsky, M., Taubin, A., Ten, S.: Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. FMSD\u00a012(1), 5\u201338 (1998)","journal-title":"FMSD"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15618-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:59:27Z","timestamp":1619787567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15618-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156175","9783642156182"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15618-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}