In this paper we consider Artinian modules over power series rings endowed with a Frobenius map. We describe a method for finding the set of all prime annihilators of submodules which are preserved by the given Frobenius map and on which the Frobenius map is not nilpotent. This extends the algorithm by Karl Schwede and the first author, which solved this problem for submodules of the injective ...