| 自动制造系统设计和仿真中的死锁控制 |
| |
| 引用本文： | 乐晓波,葛敬军.自动制造系统设计和仿真中的死锁控制[J].计算机工程,2005,31(4):192-194. |
| |
| 作者姓名： | 乐晓波 葛敬军 |
| |
| 作者单位： | 长沙理工大学计算机通信与工程学院,长沙,410076;长沙理工大学计算机通信与工程学院,长沙,410076 |
| |
| 基金项目： | 湖南省自然科学基金资助项目(01JJY2061)，湖南省教育厅科研基金资助项目(01C306) |
| |
| 摘 要： | 通过对自动制造系统的Pctri网模型的分析．可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常，可以通过修改Petri网的初始标识或Pctri网的结构来解决。该文结合具体示例，给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型，从而为自动制造系统的异常处理提供了一条有效途径。
|
| 关 键 词： | Petri网模型 自动制造系统设计 死锁 控制规范 |
| 文章编号： | 1000-3428(2005)04-0192-03 |
Deadlock Control in Automatic Manufacture System's Design and Simulation |
| |
| YUE Xiaobo,GE Jingjun.Deadlock Control in Automatic Manufacture System's Design and Simulation[J].Computer Engineering,2005,31(4):192-194. |
| |
| Authors: | YUE Xiaobo GE Jingjun |
| |
| Abstract: | Using Petri nets to analyze automatic manufacture system, the deadlock problem of automatic manufacture system related with the original mark and the structure is revealed. So the paper sets forth the method of modifying the original mark of Petri nets or of changing the structure of Petri nets to control the deadlock in automatic manufacture system's design and simulation. |
| |
| Keywords: | Petri nets model Automatic manufacture system's design Deadlock Control criterion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
