Codice PHP:
$code "A0001002";

echo 
sprintf("%1$04d"str_replace('A','',$code)); 
Puoi farlo anche senza regex impostando il numero degli 0 davanti al numero