福建省教育厅科技项目(JK2010037)
- 作品数：3 被引量：1H指数：1
- 相关作者：李文杰岳昊更多>>
- 相关机构：漳州师范学院西北核技术研究所山东科技大学更多>>
- 发文基金：福建省教育厅科技项目国家自然科学基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术环境科学与工程更多>>
- 柔性制造系统Petri网模型的化简被引量：1
- 2010年
- 在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比,最终得到的网系统具有较少的库所、变迁和较简单的网结构.
- 岳昊李文杰
- 关键词：柔性制造系统PETRI网信标化简
- 自动制造系统Petri网模型中的非完美变迁
- 2010年
- 提出了变迁子集的非完美变迁集的概念,非完美变迁集中的元素(成员)即为非完美变迁。一条资源变迁回路θ是完美的,当且仅当其变迁集T[θ]的非完美变迁集为空。对于一个变迁子集T1而言,已知T1中存在非完美变迁,如果试图从T1中删去一些变迁而得到T2,使得T2中没有非完美变迁,则一定要将T1中的非完美变迁全部删除。
- 岳昊李文杰
- 关键词：PETRI网
- 自动制造系统Petri网模型SPN的化简
- 2010年
- 在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.
- 岳昊李文杰
- 关键词：自动制造系统PETRI网化简
