| FMS实时控制系统OCPN模型的死锁分析(二) |
| |
| 引用本文： | 周炳海,施海锋,蔡建国. FMS实时控制系统OCPN模型的死锁分析(二)[J]. 机床与液压, 2002, 2(2): 25-28,24 |
| |
| 作者姓名： | 周炳海 施海锋 蔡建国 |
| |
| 作者单位： | 1. 上海工程技术大学机械学院,200036
2. 上海交通大学机械学院,200030 |
| |
| 基金项目： | 863计划CIMS推广应用项目(863－511－910－033)，江苏省机械厅(无锡职业学院FMS项目)资助 |
| |
| 摘 要： | 为了使FMS实时控制系统OCPN（面向对象的着色Petri网）模型具有可靠性，本文在D‘Souza的死锁分析算法基础上，提出了检测通用OPN（面向对象的Petri网）模型和OCPN模型的死锁检测算法，同时利用提出的算法，对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析，通过实例验证本文提出的死锁检测算法是简单性和通用性等特点。
|
| 关 键 词： | FMS 实时控制系统 OCPN模型 死锁分析 死锁检测 物理对象 |
| 文章编号： | 1001-3881(2002)2-025-4 |
Deadlock Analysis for the OCPN Model of FMS Real-time Control System |
| |
| Zhou Binghai,Shi Haifeng,Cai Jianguo. Deadlock Analysis for the OCPN Model of FMS Real-time Control System[J]. Machine Tool & Hydraulics, 2002, 2(2): 25-28,24 |
| |
| Authors: | Zhou Binghai Shi Haifeng Cai Jianguo |
| |
| Abstract: | 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. . |
| |
| Keywords: | Deadlock detecting Algorithms Object- oriented colored Petri nets Physical object |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
