75 citations · 108 across the 4 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Mogens Nielsen
We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.