10 citations · 57 across the 48 of their papers we have counts for
1 paper · 2 filters
Olivier Finkel, Michał Skrzypczak
We show that there are Σ30-complete languages of infinite words accepted by non-deterministic Petri nets with Büchi acceptance condition, or equivalently by Büchi blind counter…