CompSci Quantum Lunch - Oxford

Integer Petri Nets

Fabrizio Romano Genovese

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