Projection of an automaton almost always results in nondeterminism.
Moving from a single-processor to a multi-processor system often exposes hidden nondeterminism due to invalid assumptions about scheduling.