Executions in (Semi-)Integer Petri Nets are Compact Closed Categories - 42Papers