Information Technology Reference
In-Depth Information
14. van der Aalst, W.M.P.: Inheritance of business processes: A journey visiting four
notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri
Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 383-408.
Springer, Heidelberg (2003)
15. van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for
concurrent systems. Acta Inf. 37(4/5), 229-327 (2001)
16. Weidlich, M., Mendling, J., Weske, M.: Ecient consistency measurement based on
behavioural profiles of process models. IEEE Transactions on Software Engineering
(2010) (to appear)
17. Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and construc-
tions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS,
vol. 5701, pp. 193-210. Springer, Heidelberg (2009)
18. Gottschalk, F.: Configurable Process Models. PhD thesis, Eindhoven University of
Technology, The Netherlands (December 2009)
19. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching
and merging of statecharts specifications. In: ICSE, pp. 54-64. IEEE Computer
Society, Los Alamitos (2007)
20. Dijkman, R.M., Dumas, M., Garcıa-Banuelos, L., Kaarik, R.: Aligning business pro-
cess models. In: EDOC, pp. 45-53. IEEE Computer Society, Los Alamitos (2009)
21. Weidlich, M., Dijkman, R.M., Mendling, J.: The iCoP framework: Identification of
correspondences between process models. In: Pernici, B. (ed.) CAiSE 2010. LNCS,
vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
22. Vanhatalo, J., Volzer, 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)
23. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business
processes - a survey. TOPNOC 2, 46-63 (2009)
24. Aalst, W.: The application of Petri nets to workflow management. Journal of Cir-
cuits, Systems, and Computers 8(1), 21-66 (1998)
25. Aalst, W.: Workflow verification: Finding control-flow errors using petri-net-based
techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM. LNCS,
vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
26. Smirnov, S., Weidlich, M., Mendling, J.: Business process model abstraction based
on behavioral profiles. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.)
ICSOC 2010. LNCS, vol. 6470, pp. 1-16. Springer, Heidelberg (2010)
27. Curran, T.A., Keller, G., Ladd, A.: SAP R/3 Business Blueprint: Understanding
the Business Process Reference Model. Prentice-Hall, Englewood Cliffs (1997)
28. Mendling, J., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P., Neu-
mann, G.: Detection and prediction of errors in EPCs of the SAP reference model.
Data Knowl. Eng. 64(1), 312-329 (2008)
29. Decker, G., Mendling, J.: Process instantiation. Data Knowl. Eng. 68, 777-792
(2009)
30. van Glabbeek, R.: The linear time - brancing time spectrum I. The semantics of
concrete, sequential processes. In: Handbook of Process Algebra, pp. 3-99. Elsevier,
Amsterdam (2001)
31. Dijkman, R., Dumas, M., van Dongen, B., Kaarik, R., Mendling, J.: Similarity of
business process models: Metrics and evaluation. Inf. Syst. 36(2), 498-516 (2011)
32. La Rosa, M., Dumas, M., ter Hofstede, A., Mendling, J.: Configurable multi-
perspective business process models. Inf. Syst. 36(2), 313-340 (2011)
33. Reijers, H., Mans, R., van der Toorn, R.: Improved model management with ag-
gregated business process models. Data Knowl. Eng. 68(2), 221-243 (2009)
