They use all kinds of software for the different stages. While there's no reason why they would not have used Maya as modeling tool, it seems like they wrote their own particle systems and animations software for the characters. Of course they did render on PRMan, with it being their own product and one of the best and most flexible renderers available. The making of on the DVD is worth a look, although it doesn't go too much in deep.