Guard semantics for Petri nets with symmetric strict monoidal categories - 42Papers