Keilim Used to Cook Chometz on Pesach

If keilim were used to cook chometz on Pesach, is it necessary to kasher them? Sources can be found here .