a behavioral similarity measure between labeled petri nets based on principal transition sequences - ( short paper ) .
The Application of Petri Nets to Workflow Management