论文部分内容阅读
为了使FMS实时控制系统OCPN(面向对象的着色Petri网)模型具有可靠性,本文在D' Souza的死锁分析算法基础上,提出了检测通用OPN(面向对象的Petri网)模型和OCPN模型的死锁检测算法;同时利用提出的算法,对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析.通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点.