Observe this CPN where every token behaves the same. Color quotienting should therefore convert them all to the same color.

However, the above CPN is unfolded to the following net

Color quotienting does not handle simple equality x=y in the guard.