| 自动制造系统Petri网模型SPN的化简 |
| |
| 引用本文： | 岳昊,李文杰. 自动制造系统Petri网模型SPN的化简[J]. 长沙理工大学学报(自然科学版), 2010, 7(3) |
| |
| 作者姓名： | 岳昊 李文杰 |
| |
| 基金项目： | 国家自然科学基金资助项目，福建省教育厅科研资助项目 |
| |
| 摘 要： | 在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.
|
| 关 键 词： | 自动制造系统 Petri网 完美极大资源变迁回路 化简 |
Reduction for Petri net modeling of SPN automated manufacturing systems |
| |
| YUE Hao,LI Wen-jie. Reduction for Petri net modeling of SPN automated manufacturing systems[J]. Journal of Changsha University of Science and Technology(Natural Science), 2010, 7(3) |
| |
| Authors: | YUE Hao LI Wen-jie |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
