FMS实时控制系统OCPN模型的死锁分析(二)

摘要：

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

关键词：死锁检测、算法、面向对象的着色Petri网、物理对象

分类号：TP391.73(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-511-910-033;江苏省机械厅资助项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：25-28，24