Should work. I had a ps2 mouse and a microsoft serial EZ-ball installed when my boys were small. The mice worked simultaneously, the older son would "help" his younger brother thru the tricky parts in their kidgames. Well, sometimes...
Different mice for different users/tasks? Sure, why not, might be something where USB would work well.