Was heißt PDF-Verarbeitung ?
Im Normalfall wohl eher PDF-Erstellung.

Meistens wohl den InfoPrint-Server, da der das selber mitbringt (wer sich die Lizenz leisten kann).

Ansonsten meist (kostenpflichtige) AS/400/PC-Programme, die Spools abgreifen und umsetzen, wie z.B. Toolmaker.

Aber wie so oft, da gibts wohl viele Wege.