A Categorical Semantics for Guarded Petri Nets - 42Papers