The difficulty of replacing an inclusive OR-join

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7481 LNCS, Issue , 2012, Pages 156-171

  Favre, Cédric ^a   Völzer, Hagen ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; CONTROL FLOWS; GENERAL TRANSLATION; MODELING LANGUAGES; NONLOCAL; POLYNOMIAL-TIME; PROCESS MODEL; TRANSLATABILITY;

ENTERPRISE RESOURCE MANAGEMENT; PETRI NETS; POLYNOMIAL APPROXIMATION;

ADMINISTRATIVE DATA PROCESSING;

EID: 84866426396     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32885-5_12     Document Type: Conference Paper

References (13)

1. Alves, A., et al.: Web services business process execution language version 2.0. OASIS Standard 11 (2007)
2. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)
3. Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448-466 (2011)
4. Favre, C., Völzer, H.: Symbolic Execution of Acyclic Workflow Graphs. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 260-275. Springer, Heidelberg (2010)
5. Favre, C., Völzer, H.: The Difficulty of Replacing an Inclusive OR-Join. Technical report, IBM Research, RZ3824 (2012)
6. Kiepuszewski, B., ter Hofstede, A., van der Aalst,W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143-209 (2003)
7. Mendling, J., van Dongen, B., van der Aalst, W.M.P.: Getting rid of or-joins and multiple start events in business process models. Enterprise Information Systems 2(4), 403-419 (2008)
8. van der Aalst, W.M.P., Hirnschall, A., 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. 2348, pp. 535-552. Springer, Heidelberg (2002)
9. van der Aalst, W.M.P., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(1), 5-51 (2003)
10. 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. 458, pp. 278-297. Springer, Heidelberg (1990)
11. Vanhatalo, J., Völzer, H., Leymann, F., Moser, S.: Automatic Workflow Graph Refactoring and Completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 100-115. Springer, Heidelberg (2008)
12. Völzer, H.: A New Semantics for the Inclusive Converging Gateway in Safe Processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294-309. Springer, Heidelberg (2010)
13. Wynn, M., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A., Edmond, D.: Business Process Verification-Finally a Reality! Business Process Management Journal 15(1), 74-92 (2009)