Dimension-Minimality and Primality of Counter Nets

Shaull Almagor, Guy Avni, Henry Sinclair-Banks +1

A $k$-Counter Net ($k$-CN) is a finite-state automaton equipped with $k$ integer counters that are not allowed to become negative, but do not have explicit zero tests. This languag…