Demig过程控制系统prover/2自动化模块

在基本版本中，prover/2记录批次级别的物料流。它将这些区分为：

• 实际批次（定义位置的实际批次包装）和
• 虚拟批次（分布在多个具体或虚拟位置上的抽象批次）。

扩展版本允许在治疗过程中更改容器大小。单个零件甚至可以通过整个生产系统进行跟踪。在多区域系统中，还可以指定区域特定的设定点。

该模块还有两个不同的原则，与批次跟踪密切相关：

不连续系统中的真实批次

对于在系统中移动的每个批次，过程控制系统都会创建一个测量文件，并将其分配给特定批次。如果一个批按顺序在多个系统中移动，则会为每个单独的系统创建这样的文件。可以根据需要重复此过程。

Real and virtual batches in continuous systems

根据这一原则，所有过程变量首先记录在中央池中。批次跟踪指示特定批次何时通过系统的特定部分。当批次离开系统时，过程控制系统使用可用信息创建一个测量文件，并将其分配给该批次。

对于完全自动化的过程控制，软件可以使用生产系统何时准备好装载/卸载的信息，为装载机、穿梭机或机械手等运输单元生成运输命令。还提供了一个选项，用于预热炉系统的时间优化使用。还可以集成空网格管理来管理空网格。