Hypernets: a class of hierarchical petri nets