high level Petri net