controlling counter, counter automata, fixed dimension, lower bounds, Petri nets, reachability problem, vector addition systems.
