Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures · Study