If you look at the Bareknuckle range, the Stormy Monday (AII), Mule (AIV), Riff Raff (AV) and Black Dog (AV), are all PAF type pickups, all based on original Gibson humbuckers. So the whole range of possibilities is there.
Gibson's own PAF recreations, notably the '57 classics, Burstbucker and the new Custom Bucker in the Historics, all use Alnico II.
There is no single, exact PAF to copy, they did vary greatly. Each designer goes for what he sees as the right sound. So whichever one happens to be closest to your own idea of what it should sound like is right.
Notably, Tim's recent anniversary pickups were PAF type, and he used Alnico II in those.