ProduceITBatchLib is part of what system extension?
Are you planning on ordering the software or have you already installed it ?
The Batch manager comes in several parts ...
ProduceITBatch software runs on the Batch Manager Server. Here you can configure and maintain Recipes and Phases. When you install batch manager, the system extension appears in the Config Wizard. (I dont have a system with Batch installed in front of me to tell you the exact name, but its pretty obvious)
Basic AC800M control modules for programming Equipment Modules and the interface to the Batch Manager Phases are also included in the Batch Manager. These are part of the Batch manager system extension.
Note, You will probably need additional libraries to complete a batch system in a real plant with AC800M controllers. Many projects choose to use the PC Device Library and PC Equipment Library.
There are also system extensions for other DCS systems - like DCI, Harmony etc. These have to be ordered separately.