自动制造系统Petri网模型SPN的化简

岳昊; 李文杰

首页> 中文期刊> 《长沙理工大学学报：自然科学版》 >自动制造系统Petri网模型SPN的化简

自动制造系统Petri网模型SPN的化简

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.

著录项

来源
《长沙理工大学学报：自然科学版》 |2010年第3期|52-57|共6页
作者
岳昊; 李文杰;
展开▼
作者单位

漳州师范学院计算机科学与工程系;

山东科技大学机电学院;

西北核技术研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动化系统;
关键词
自动制造系统; Petri网; 完美极大资源变迁回路; 化简;

相似文献

中文文献
外文文献
专利

1. 柔性制造系统Petri网模型的化简 [J] . 岳昊 ,李文杰 . 云南民族大学学报（自然科学版） . 2010,第006期
2. 自动制造系统Petri网模型的一类子网极小信标的计算 [J] . 宁凡 ,王寿光 . 科技通报 . 2014,第9期
3. 自动制造系统Petri网模型中的非完美变迁 [J] . 岳昊 ,李文杰 . 井冈山大学学报 . 2010,第006期
4. 自动制造系统Petri网模型中的分叉操作库所 [J] . 岳昊 ,李文杰 . 吉林师范大学学报（自然科学版） . 2010,第004期
5. 自动制造系统Petri网模型中的非完美变迁 [J] . 岳昊 ,李文杰 . 井冈山大学学报（自然科学版） . 2010,第006期
6. 自动制造系统Petri网模型的资源变迁网性质分析 [C] . 岳昊 . 2010全国开放式分布与并行计算学术年会 . 2010
7. 基于GSPN与ESPN的制造系统可靠性模块化建模与分析 [A] . 张君一 . 2008

自动制造系统Petri网模型SPN的化简

摘要

著录项

相似文献

相关主题

期刊订阅