TY - RPRT TI - Executions in (Semi-)Integer Petri Nets are Compact Closed Categories AU - Fabrizio Genovese AU - Jelle Herold PY - 2019 DO - 10.4204/eptcs.287.7 UR - https://arxiv.org/abs/1805.05988 ID - 1805.05988 ER -