Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis (a) (b) Event-Log Trace Process Event-Log Trace Process (a, {(A,4000)}) (a, {(A {(D,true)}) (c, {(D,true)}) (e, 0) (e, 0) (e, 0) (e, 0) (f, {(A,5000)}) (f..