메뉴 건너뛰기




Volumn 202, Issue , 2015, Pages 75-88

Conformance checking based on partially ordered event data

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; RELIABILITY ANALYSIS;

EID: 84929921944     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-319-15895-2_7     Document Type: Conference Paper
Times cited : (62)

References (17)
  • 1
    • 35748949584 scopus 로고    scopus 로고
    • Conformance checking of processes based on monitoring real behavior
    • Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)
    • (2008) Inf. Syst , vol.33 , Issue.1 , pp. 64-95
    • Rozinat, A.1    van der Aalst, W.M.P.2
  • 3
    • 84866362668 scopus 로고    scopus 로고
    • Where did i misbehave? diagnostic information in compliance checking
    • Barros, A., Gal, A., Kindler, E. (eds.), Springer, Heidelberg
    • Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did i misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 262-278. Springer, Heidelberg (2012)
    • (2012) BPM 2012. LNCS , vol.7481 , pp. 262-278
    • Ramezani, E.1    Fahland, D.2    van der Aalst, W.M.P.3
  • 5
    • 84908213446 scopus 로고    scopus 로고
    • Model repair-aligning process models to reality
    • Fahland, D., van der Aalst, W.M.P.: Model repair-aligning process models to reality. Inf. Syst. 47, 220-243 (2015). doi:10.1016/j.is.2013.12.007
    • (2015) Inf. Syst , vol.47 , pp. 220-243
    • Fahland, D.1    van der Aalst, W.M.P.2
  • 8
    • 0011560546 scopus 로고
    • The transitive reduction of a directed graph
    • Aho, A.V., Garey, M.R., Ullman, J.D.: The transitive reduction of a directed graph. SIAM J. Comput. 1(2), 131-137 (1972)
    • (1972) SIAM J. Comput , vol.1 , Issue.2 , pp. 131-137
    • Aho, A.V.1    Garey, M.R.2    Ullman, J.D.3
  • 10
    • 84872786846 scopus 로고    scopus 로고
    • On the role of fitness, precision, generalization and simplicity in process discovery
    • Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.), Springer, Heidelberg
    • Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012, Part I. LNCS, vol. 7565, pp. 305-322. Springer, Heidelberg (2012)
    • (2012) OTM 2012, Part I. LNCS , vol.7565 , pp. 305-322
    • Buijs, J.C.A.M.1    van Dongen, B.F.2    van der Aalst, W.M.P.3
  • 11
    • 84881218710 scopus 로고    scopus 로고
    • Simplifying discovered process models in a controlled manner
    • Fahland, D., van der Aalst, W.M.P.: Simplifying discovered process models in a controlled manner. Inf. Syst. 38(4), 585-605 (2013)
    • (2013) Inf. Syst , vol.38 , Issue.4 , pp. 585-605
    • Fahland, D.1    van der Aalst, W.M.P.2
  • 13
    • 84874390577 scopus 로고    scopus 로고
    • Discovering branching conditions from business process execution logs
    • Cortellessa, V., Varró, D. (eds.), Springer, Heidelberg
    • de Leoni, M., Dumas, M., García-Bañuelos, L.: Discovering branching conditions from business process execution logs. In: Cortellessa, V., Varró, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 114-129. Springer, Heidelberg (2013)
    • (2013) FASE 2013 (ETAPS 2013). LNCS , vol.7793 , pp. 114-129
    • de Leoni, M.1    Dumas, M.2    García-Bañuelos, L.3
  • 14
    • 84873144149 scopus 로고    scopus 로고
    • Root cause analysis with enriched process logs
    • La Rosa, M., Soffer, P. (eds.), Springer, Heidelberg
    • Suriadi, S., Ouyang, C., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Root cause analysis with enriched process logs. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 174-186. Springer, Heidelberg (2013)
    • (2013) BPM Workshops 2012. LNBIP , vol.132 , pp. 174-186
    • Suriadi, S.1    Ouyang, C.2    van der Aalst, W.M.P.3    ter Hofstede, A.H.M.4
  • 16
    • 84894202622 scopus 로고    scopus 로고
    • Models from scenarios
    • Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.), Springer, Heidelberg
    • Lorenz, R., Desel, J., Juhás, G.: Models from scenarios. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 314-371. Springer, Heidelberg (2013)
    • (2013) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS , vol.7480 , pp. 314-371
    • Lorenz, R.1    Desel, J.2    Juhás, G.3
  • 17
    • 80052747176 scopus 로고    scopus 로고
    • Translating message sequence charts to other process languages using process mining
    • Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.), Springer, Heidelberg
    • Lassen, K.B., van Dongen, B.F.: Translating message sequence charts to other process languages using process mining. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency I. LNCS, vol. 5100, pp. 71-85. Springer, Heidelberg (2008)
    • (2008) Transactions on Petri Nets and Other Models of Concurrency I. LNCS , vol.5100 , pp. 71-85
    • Lassen, K.B.1    van Dongen, B.F.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.