 Transitions that are not independent, are dependent.In practice dependency is approximated using static analysis.Ample sets for different purposes can be defined by giving conditions as to when a set of transitions is "ample" in a given state.