-
2
-
-
84867795158
-
Efficient discovery of understandable declarative process models from event logs
-
Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.), LNCS, Springer, Heidelberg
-
Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient discovery of understandable declarative process models from event logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270–285. Springer, Heidelberg (2012)
-
(2012)
Caise 2012
, vol.7328
, pp. 270-285
-
-
Maggi, F.M.1
Bose, R.2
Van Der Aalst, W.3
-
3
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
4
-
-
33845201666
-
DecSerFlow: Towards a truly declarative service flow language
-
Bravetti, M., Nñez, M., Zavattaro, G. (eds.), LNCS, Springer, Heidelberg
-
van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., Nñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)
-
(2006)
WS-FM 2006
, vol.4184
, pp. 1-23
-
-
Van Der Aalst, W.1
Pesic, M.2
-
5
-
-
47949131563
-
Declare: Full support for loosely-structured processes
-
IEEE
-
Pesic, M., Schonenberg, H., van der Aalst, W.M.: Declare: Full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, pp. 287–287. IEEE (2007)
-
(2007)
11Th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007
, pp. 287
-
-
Pesic, M.1
Schonenberg, H.2
Van Der Aalst, W.M.3
-
8
-
-
70350255735
-
Exploiting inductive logic programming techniques for declarative process mining
-
In: Jensen, K., van der Aalst, W.M.P. (eds.), LNCS, Springer, Heidelberg
-
Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 278–295. Springer, Heidelberg (2009)
-
(2009)
Topnoc II
, vol.5460
, pp. 278-295
-
-
Chesani, F.1
Lamma, E.2
Mello, P.3
Montali, M.4
Riguzzi, F.5
Storari, S.6
-
9
-
-
84906773183
-
The automated discovery of hybrid processes
-
Sadiq, S., Soffer, P., Völzer, H. (eds.) , LNCS, Springer, Heidelberg
-
Maggi, F.M., Slaats, T., Reijers, H.A.: The automated discovery of hybrid processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392–399. Springer, Heidelberg (2014)
-
(2014)
BPM 2014.
, vol.8659
, pp. 392-399
-
-
Maggi, F.M.1
Slaats, T.2
Reijers, H.A.3
-
11
-
-
80054889108
-
Conformance checking using cost-based fitness analysis
-
IEEE
-
Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.: Conformance checking using cost-based fitness analysis. In: 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 55–64. IEEE (2011)
-
(2011)
2011 15Th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
, pp. 55-64
-
-
Adriansyah, A.1
Van Dongen, B.F.2
Van Der Aalst, W.M.3
|