  Monoid actions of trace monoids over finite sets are powerful models of
concurrent systems---for instance they encompass the class of 1-safe Petri
nets. We characterise Markov measures attached to concurrent systems by
finitely many parameters with suitable normalisation conditions. These
conditions involve polynomials related to the combinatorics of the monoid and
of the monoid action. These parameters generalise to concurrent systems the
coefficients of the transition matrix of a Markov chain.
  A natural problem is the existence of the uniform measure for every
concurrent system. We prove this existence under an irreducibility condition.
The uniform measure of a concurrent system is characterised by a real number,
the characteristic root of the action, and a function of pairs of states, the
Parry cocyle. A new combinatorial inversion formula allows to identify a
polynomial of which the characteristic root is the smallest positive root.
Examples based on simple combinatorial tilings are studied.
