Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs · Study