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

Permalink: https://statebox.org/research/publications/integer-nets/
ArXiv.org: arxiv:1805.05988

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 (short) and here (long).

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