| 共享竞争择一资源Petri网的形式化设计方法 |
| |
| 引用本文： | 崔亚军 王君英. 共享竞争择一资源Petri网的形式化设计方法[J]. 计算机学报, 1993, 16(10): 730-738 |
| |
| 作者姓名： | 崔亚军 王君英 |
| |
| 作者单位： | 西安电子科技大学电子机械系，西安电子科技大学管理工程与情报工程系 西安 710071，西安 710071 |
| |
| 摘 要： | 自动制造系统中有许多共享资源，例如，机器人、数控加工中心、无人导引自动小车等，竞争择一是其共享方式之一。以往，自动制造系统的Ｐｅｔｒｉ网控制系统器设计几乎都是试凑，而且一些性质不能得到满足，如无死锁。这主要是对共享资源的不适当设计造成的。对于多个子系统，为了使之能很好地工作，必须研究一种设计有界、无死锁的Ｐｅｔｒｉ网控制器的方法。本文在以往工作的基础上，提出了有界、无死锁、安全Ｐｅｔｒｉ网控制器…
|
| 关 键 词： | Petri网 竞争择一 设计 自动制造 |
THE FORMAL SYNTHESIS METHOD OF PETRI NETS WITH SHARED COMPETE AND SELECTIVE RESOURCES |
| |
| Cui Yajun,Wang JunyingXidian University,Xi'an. THE FORMAL SYNTHESIS METHOD OF PETRI NETS WITH SHARED COMPETE AND SELECTIVE RESOURCES[J]. Chinese Journal of Computers, 1993, 16(10): 730-738 |
| |
| Authors: | Cui Yajun Wang JunyingXidian University Xi'an |
| |
| Affiliation: | Cui Yajun,Wang JunyingXidian University,Xi'an 710071 |
| |
| Abstract: | Automatic manufacturing systems share many resources such as robot,CNC machine or AGV.Compete selection is a major mode of sharing.In order to coordinate sub-system to work more efficiently,a design method of bounded and deadlock-free Petri net controller must be studied.This paper presents a formal design method of a bounded and deadlock-free Petri net based on previous works. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
