This document formulates and solves a number of problems associated with reachability for polynomial dynamical systems over finite fields. This class of systems is intended as a general model class for Discrete Event Systems.