High-level Petri Nets