Characterization of Nonnegative Integer and Minimal Solutions by Nonnegative Rational and Elementary Ones for State Equation of a Petri Net : the Set of Instances