a behavioral similarity measure between labeled petri nets based on principal transition sequences - ( short paper ) .
A Comparison of String Distance Metrics for Name-Matching Tasks