A Categorical Semantics for Bounded Petri Nets - 42Papers