4 citations · 9 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.CT2023
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 -valued invariants which are additive with respect to sequential and parallel composition of open Petr…
cs.CC2023★ 1 cited
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks +1
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initia…