Event Pattern Recognition in EventFlow