A Categorical Semantics for Hierarchical Petri Nets - 42Papers