49 citations · 140 across the 23 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
Alternating Nonzero Automata
Paulin Fournier, Hugo Gimbert
We introduce a new class of automata on infinite trees called \emph{alternating nonzero automata}, which extends the class of non-deterministic nonzero automata. We reduce the empt…
cs.LO2018
The Monadic Second Order Theory of Grid-Free 1-Safe Petri Nets is Decidable
Hugo Gimbert
Finite 1-safe Petri nets, also called \emph{net systems}, are natural models of asynchronous concurrency. The event structure of a net system describes all its possible executions…