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

Deadlock Analysis for the OCPN Model of FMS Real - time Control System

作　　者：周炳海[1] 施海锋[1] 蔡建国[2] 

机构地区：[1]上海工程技术大学机械学院,200036 [2]上海交通大学机械学院,200030

出　　处：《机床与液压》2002年第2期25-28,24,共5页Machine Tool & Hydraulics

基　　金：863计划CIMS推广应用项目(863-511-910-033);江苏省机械厅(无锡职业学院FMS项目)资助

摘　　要：为了使ＦＭＳ实时控制系统ＯＣＰＮ(面向对象的着色Ｐｅｔｒｉ网)模型具有可靠性,本文在Ｄ’Ｓｏｕｚａ的死锁分析算法基础上,提出了检测通用ＯＰＮ(面向对象的Ｐｅｔｒｉ网)模型和ＯＣＰＮ模型的死锁检测算法;同时利用提出的算法,对ＡＧＶ物理对象ＯＰＮ模型及无锡职业学院ＦＭＳ中构造的ＯＣＰＮ模型进行了死锁分析。通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点。To make the OCPN model of FMS real - time control system reliable, based on D Souza deadlock delecting algorithm, the algorithms used to detect the deadlock of OPN and OCPN models are proposed in this paper. The proposed algorithms are used to detect the OPN models of AGV physical object and OCPN model of WuXi FMS real- time control system. The application examples indicated that the proposed algorithms have characteristics of simplicity , universality and etc. .

关 键 词：FMS 实时控制系统 OCPN模型 死锁分析 死锁检测 物理对象 

分 类 号：TH165.2[机械工程—机械制造及自动化]