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

• 作者: 岳昊 李文杰
• 来源期刊: 长沙理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 自动制造系统 Petri网 完美极大资源变迁回路 化简
• 年，卷（期）: 2010,（3）
• 页码范围: 52-57
• 分类号: TP27
• 字数: 5677字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9331.2010.03.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳昊	漳州师范学院计算机科学与工程系	19	14	1.0	3.0
2	李文杰	山东科技大学机电学院	14	34	4.0	5.0