Verified with L1 and L2 example from ProcessMining book