State minimization by means of incompatibility graph coloring