面向仓储物流的建模及控制系统设计方法

为提高现代企业仓储物流的设计质量和效率，提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法。该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型，清晰地描述了各种物流活动的顺序、并发、冲突等关系，并结合关联矩阵，阐述了判断死锁和陷阱的方法。该方法建立的模型可根据Petri网运算规则进行保性化简，便于仿真分析和验证，且可直接用于系统可编程逻辑控制器的控制程序设计。最后，以仓储物流控制系统为例，阐述了系统建模及控制设计过程。