基于受控时扩展Petri网的分拣系统建模

分拣系统中，由于操作人员的参与，可能导致能导被分拣货物和装箱清单一致，这主要是由于包控制和货包信息的同步跟踪不可控所造成。为解决这个问题，该文提出受控时扩展Petri网，在此基础上对自动分拣系统进行了建模，并分析了操作人员的控制作用，实际应用表明，受控计时扩展Petri网为具有人参与的物流提供了一种良好的建模方法。