Additive Invariants of Open Petri Nets

Benjamin Merlin Bumpus, Sophie Libkind, Jordy Lopez Garcia +2

We classify all additive invariants of open Petri nets: these are $\mathbb{N}$-valued invariants which are additive with respect to sequential and parallel composition of open Petr…