| 复杂并行共享资源柔性制造系统中的死锁结构 |
| |
| 引用本文： | 李志武,陶晓峰.复杂并行共享资源柔性制造系统中的死锁结构[J].机械科学与技术(西安),2002,21(4):543-545,578. |
| |
| 作者姓名： | 李志武 陶晓峰 |
| |
| 作者单位： | 西安电子科技大学机电工程学院 西安710071
(李志武)，西安电子科技大学机电工程学院 西安710071(陶晓峰) |
| |
| 摘 要： | 深入研究了独立制造过程共享资源引起的死锁问题 ,提出了并行资源死锁结构的概念。同时 ,基于资源向量 ,给出了一种简单的形式化方法 ,用于判断一个系统是否由于包含并行共享而具有可能的死锁 ,提出了一种使并行共享资源制造系统 ,其 Petri网控制器无死锁的设计理论和方法 ,这种方法的主要特点是计算简单 ,最后举例说明了这种方法的应用。
|
| 关 键 词： | Petri网 并行共享资源 并行资源死锁结构 资源向量 |
| 文章编号： | 1003-8728(2002)04-0543-03 |
On the Deadlock Structures in FMS with Complex Parallel-shared Resources |
| |
| LI Zhi-wu,TAO Xiao-feng.On the Deadlock Structures in FMS with Complex Parallel-shared Resources[J].Mechanical Science and Technology,2002,21(4):543-545,578. |
| |
| Authors: | LI Zhi-wu TAO Xiao-feng |
| |
| Abstract: | Deadlocks resulting from parallel resource sharing by independent manufacturing processes is thoroughly studied and the concept of PRDSs(parallel resources deadlock structures) is outlined. Meanwhile, a concise method based on resource vectors is presented for determining whether a system has possible deadlocks resulting from the existence of parallel-shared resources. The approach is characterized by less computation cost and demonstrated with some examples. |
| |
| Keywords: | Petri net Parallel-shared resource Parallel resources deadlock structure Resource vector |
| 本文献已被 CNKI 维普 等数据库收录！ |
