基于Petri网控制系统模型的构建与实现

提出了一种面向对象的Petri网(OPN)的建模方法并分析柔性制造系统(FMS)的状态动态变化。基于Petri网中单个结点对象的分析,以及对整个Petri网的网关及对应输入输出消息处所的构建,我们建立了一个FMS模型。在这个模型中,探讨了避免自动移动小车(AGV)和机器人的冲突和死锁的算法。通过对该模型各个对象有效的动态变迁的逻辑分析,在遵从一些特定的控制规则前提下成功开发了模拟调度控制软件,使控制模型更具智能性。