16 citations · 38 across the 6 of their papers we have counts for
1 paper · 2 filters
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…