Hierarchical Petri Nets