| 离散制造装配系统的活性控制 |
| |
| 引用本文： | 邢科义,胡保生,万百五.离散制造装配系统的活性控制[J].自动化学报,1999,25(2):176-183. |
| |
| 作者姓名： | 邢科义 胡保生 万百五 |
| |
| 作者单位： | 1.西安电子科技大学应用数学系,西安; |
| |
| 基金项目： | 国家自然科学基金,西安交通大学机械制造系统工程国家重点实验室基金 |
| |
| 摘 要： | 首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网
模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特
征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系
统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统
活性的控制策略.
|
| 关 键 词： | 制造系统 Petri网 控制 |
| 收稿时间： | 1996-10-3 |
LIVENESS CONTROL FOR DISCRETE MANUFACTURING/ASSEMBLY SYSTEMS |
| |
| XING Keyi,HU Baosheng,WAN Baiwu.LIVENESS CONTROL FOR DISCRETE MANUFACTURING/ASSEMBLY SYSTEMS[J].Acta Automatica Sinica,1999,25(2):176-183. |
| |
| Authors: | XING Keyi HU Baosheng WAN Baiwu |
| |
| Affiliation: | 1.Department of Applied Mathematies,Xidian University,Xi'an;Institute of Systems Engineering,Xi'an Jiaotong University,Xi'an |
| |
| Abstract: | The liveness problem for discrete manufacturing/assembly systems is studied first in this paper. We develop a Petri net model for processings of jobs in a manufacturing/assembly system. By analysis of the Petri net model, two kinds of structural objects which can lead to system deadlock and the liveness characteristics of the system are obtained. We then present our deadlock avoidance Petri net controller for a class of manufacturing/assembly systems. This controller can be implemented easily and places less restrictive requirement on systems. And the controlled system can be modeled by a Petri net. For a general manufacturing/assembly system, we present a policy which can guarantee that the controlled system is live. |
| |
| Keywords: | Manufacturing system Petri net control |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
|
