Comparative study and categorization of high-level petri nets