a behavioral similarity measure between labeled petri nets based on principal transition sequences - ( short paper ) .
Process Equivalence: Comparing Two Process Models Based on Observed Behavior