-
1
-
-
34147190948
-
Business process mining: An industrial application
-
DOI 10.1016/j.is.2006.05.003, PII S0306437906000305
-
van der Aalst, W., Reijers, H., Weijters, A., van Dongen, B., de Medeiros, A., Song, M., Verbeek, H.: Business process mining: An industrial application. Inf. Syst. 32(5), 713-732 (2007). (Pubitemid 46560274)
-
(2007)
Information Systems
, vol.32
, Issue.5
, pp. 713-732
-
-
Van Der Aalst, W.M.P.1
Reijers, H.A.2
Weijters, A.J.M.M.3
Van Dongen, B.F.4
Alves De Medeiros, A.K.5
Song, M.6
Verbeek, H.M.W.7
-
2
-
-
36049031472
-
Quantifying process equivalence based on observed behavior
-
DOI 10.1016/j.datak.2007.06.010, PII S0169023X07001206, Fourth International Conference on Business Process Management (BPM 2006) Four selected and extended papers
-
de Medeiros, A., van der Aalst, W., Weijters, A.: Quantifying process equivalence based on observed behavior. Data Knowl. Eng. 64(1), 55-74 (2008). (Pubitemid 350087285)
-
(2008)
Data and Knowledge Engineering
, vol.64
, Issue.1
, pp. 55-74
-
-
Alves De Medeiros, A.K.1
Van Der Aalst, W.M.P.2
Weijters, A.J.M.M.3
-
3
-
-
35748949584
-
Conformance checking of processes based on monitoring real behavior
-
DOI 10.1016/j.is.2007.07.001, PII S030643790700049X
-
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008). (Pubitemid 350051578)
-
(2008)
Information Systems
, vol.33
, Issue.1
, pp. 64-95
-
-
Rozinat, A.1
Van Der Aalst, W.M.P.2
-
4
-
-
0012268580
-
The linear time - Brancing time spectrum I. The semantics of concrete, sequential processes
-
Glabbeek, R.: The Linear Time - Brancing Time Spectrum I. The semantics of concrete, sequential processes. In: Handbook of Process Algebra. Elsevier, Amsterdam (2001).
-
(2001)
Handbook of Process Algebra. Elsevier, Amsterdam
-
-
Glabbeek, R.1
-
5
-
-
0000974483
-
The state explosion problem
-
Reisig, W. Rozenberg, G. (eds.), LNCS, Springer, Heidelberg
-
Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 429-528. Springer, Heidelberg (1998).
-
(1998)
APN 1998
, vol.1491
, pp. 429-528
-
-
Valmari, A.1
-
6
-
-
78650727662
-
Measuring the compliance of processes with reference models
-
Meersman, R. Dillon, T. Herrero, P. (eds.), Part I, LNCS, Springer, Heidelberg
-
Gerke, K., Cardoso, J., Claus, A.: Measuring the compliance of processes with reference models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009, Part I, LNCS, vol. 5870, pp. 76-93. Springer, Heidelberg (2009).
-
(2009)
OTM 2009
, vol.5870
, pp. 76-93
-
-
Gerke, K.1
Cardoso, J.2
Claus, A.3
-
7
-
-
77955369298
-
Computation of behavioural profiles of process models
-
June
-
Weidlich, M., Mendling, J., Weske, M.: Computation of behavioural profiles of process models. Technical report, Hasso Plattner Institute (June 2009).
-
(2009)
Technical Report, Hasso Plattner Institute
-
-
Weidlich, M.1
Mendling, J.2
Weske, M.3
-
8
-
-
4544353101
-
Workflow mining: Discovering process models from event logs
-
Aalst, W., Weijters, A., Maruster, L.:Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128-1142 (2004).
-
(2004)
IEEE Trans. Knowl. Data Eng.
, vol.16
, Issue.9
, pp. 1128-1142
-
-
Aalst, W.1
Weijters, A.2
Maruster, L.3
-
9
-
-
57049146832
-
-
[20]
-
K̈uster, J.M., Gerth, C., F̈orster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: [20], pp. 244-260.
-
Detecting and Resolving Process Model Differences in the Absence of A Change Log
, pp. 244-260
-
-
K̈uster, J.M.1
Gerth, C.2
F̈orster, A.3
Engels, G.4
-
11
-
-
0035584844
-
Refinement of actions and equivalence notions for concurrent systems
-
DOI 10.1007/s002360000041
-
Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5), 229-327 (2001). (Pubitemid 33588635)
-
(2001)
Acta Informatica
, vol.37
, Issue.4-5
, pp. 229-327
-
-
Van Glabbeek, R.1
Goltz, U.2
-
12
-
-
84864009698
-
When are two workflows the same?
-
Hidders, J., Dumas, M., Aalst, W., Hofstede, A., Verelst, J.: When are two workflows the same? In: CATS. CRPIT, vol. 41, pp. 3-11 (2005).
-
(2005)
CATS. CRPIT
, vol.41
, pp. 3-11
-
-
Hidders, J.1
Dumas, M.2
Aalst, W.3
Hofstede, A.4
Verelst, J.5
-
13
-
-
0034949703
-
Inheritance of behavior
-
DOI 10.1016/S1567-8326(00)00004-7, PII S1567832600000047
-
Basten, T., Aalst, W.: Inheritance of behavior. JLAP 47(2), 47-145 (2001). (Pubitemid 32605536)
-
(2001)
Journal of Logic and Algebraic Programming
, vol.47
, Issue.2
, pp. 47-145
-
-
Basten, T.1
Van Der Aalst, W.M.P.2
-
15
-
-
1542430430
-
Behavior-consistent specialization of object life cycles
-
Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1), 92-148 (2002).
-
(2002)
ACM Trans. Softw. Eng. Methodol.
, vol.11
, Issue.1
, pp. 92-148
-
-
Schrefl, M.1
Stumptner, M.2
-
16
-
-
33845396749
-
Evaluation of technical measures for workflow similarity based on a pilot study
-
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings
-
Wombacher, A.: Evaluation of technical measures for workflow similarity based on a pilot study. In: Meersman, R., Tari, Z. (eds.) OTM 2006, Part I, LNCS, vol. 4275, pp. 255-272. Springer, Heidelberg (2006). (Pubitemid 44891960)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4275 LNCS - I
, pp. 255-272
-
-
Wombacher, A.1
-
17
-
-
44449176510
-
Evaluation of workflow similarity measures in service discovery
-
LNI
-
Wombacher, A., Rozie, M.: Evaluation of workflow similarity measures in service discovery. In: Service Oriented Electronic Commerce. LNI, vol. 80, pp. 51-71 (2006).
-
(2006)
Service Oriented Electronic Commerce
, vol.80
, pp. 51-71
-
-
Wombacher, A.1
Rozie, M.2
-
18
-
-
57049164878
-
On measuring process model similarity based on high-level change operations
-
Li, Q. Spaccapietra, S. Yu, E. Oliv́e, A. (eds.), LNCS, Springer, Heidelberg
-
Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Li, Q., Spaccapietra, S., Yu, E., Oliv́e, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 248-264. Springer, Heidelberg (2008).
-
(2008)
ER 2008
, vol.5231
, pp. 248-264
-
-
Li, C.1
Reichert, M.2
Wombacher, A.3
-
19
-
-
45849131316
-
Measuring similarity between business process models
-
Bellahs̀ene, Z. Ĺeonard, M. (eds.), LNCS, Springer, Heidelberg
-
Dongen, B., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Bellahs̀ene, Z., Ĺeonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450-464. Springer, Heidelberg (2008).
-
(2008)
CAiSE 2008
, vol.5074
, pp. 450-464
-
-
Dongen, B.1
Dijkman, R.M.2
Mendling, J.3
-
20
-
-
85092632336
-
-
(eds.), LNCS, Springer, Heidelberg
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.): BPM 2008. LNCS, vol. 5240. Springer, Heidelberg (2008).
-
(2008)
BPM 2008
, vol.5240
-
-
Dumas, M.1
Reichert, M.2
Shan, M.-C.3
|