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

Our team members Fabrizio Genovese and Jelle Herold wrote a paper which uses category theory to extend Petri nets in interesting ways. The paper has been submitted, peer reviewed and accepted to the conference QPL2018.

You can find the paper here, along with presentation talks here and here.

Subscribe to our email list to stay up to date!