We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynamics of a network of n genes, and the interaction graph G(F) that describes the topology of the system in terms of positive and negative interactions between its n components. Then, we establish an upper bound on the number of fixed points for F, and more generally on the number of attractors in (F), which only depends on X and on the topology of the positive circuits of G(F). This result generalizes the following discrete version of Thomas' conjecture recently proved by Richard and Comet: If G(F) has no positive circuit, then (F) has a unique attractor. This result also generalizes a result on the maximal number of fixed points in Boolean networks obtained by Aracena, Demongeot and Goles. The interest of this work in the context of gene network modeling is briefly discussed. Key words: Discrete dynamical...