16 citations · 38 across the 6 of their papers we have counts for
1 paper · 1 filter
Fabrizio Genovese, Jelle Herold
In this work, we analyse Petri nets where places are allowed to have a negative number of tokens. For each net we build its correspondent category of executions, which is compact c…