检索结果-南通市图书馆

化工自动化及仪表 2017年第6期44卷 575-580页

作者：查俊亢海洲袁文彬吕运容朱建新合肥通用机械研究院

构建基于指令触发的扩展petri网石化企业应急预案模型,提出了各组织部门之间传递消息的形式化描述方法和基于指令触发的应急任务执行状态(未执行/执行中/已完成)变迁算法,并对它规定的应急处置流程和消息传递给出了详细的定义和描述。

关键词：数字化应急预案建模石化企业扩展petri网指令触发任务关联

在线全文

学校读者我要写书评

暂无评论

基于扩展petri网的PPCES建模研究

哈尔滨理工大学学报 2003年第4期8卷 79-81页

作者：王超男刘胜辉陈宜冬哈尔滨理工大学计算机与控制学院黑龙江哈尔滨150080

针对Job-shop型生产系统中NP难度的调度问题,利用生产计划与控制专家系统(PPCES)进行启发式搜索,根据petri网建模原理及PPCES的推理需要,对生产系统建模,定义了一类扩展有色、时间petri网.实践证明,这种方法不仅可以在增强模型描述能力... 详细信息

针对Job-shop型生产系统中NP难度的调度问题,利用生产计划与控制专家系统(PPCES)进行启发式搜索,根据petri网建模原理及PPCES的推理需要,对生产系统建模,定义了一类扩展有色、时间petri网.实践证明,这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度,还可以应用专家系统领域的知识指导系统进行冲突消解,从而避免了常规分析方法所带来的组合爆炸问题.

关键词：扩展petri网 PPCES Job-shop型生产系统调度问题 “生产计划与控制专家系统” 模型冲突消解策陷排序问题

基于扩展petri网的飞机装配系统设备调度方法

在线全文

学校读者我要写书评

暂无评论

航空制造技术 2017年第10期60卷 104-108页

作者：柴猛严金凤南京理工大学机械工程学院南京210094

针对飞机装配过程中设备调度的复杂性,提出了基于扩展petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象petri网表达飞机装配过程,以赋时petri网将装配过程与辅助设备相关联,... 详细信息

针对飞机装配过程中设备调度的复杂性,提出了基于扩展petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象petri网表达飞机装配过程,以赋时petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。

关键词：飞机装配设备调度扩展petri网混合算法

在线全文

学校读者我要写书评

暂无评论

基于扩展petri网的工作流建模及应用

现代电子技术 2007年第9期30卷 106-108页

作者：钟越马光思柯贤波西安建筑科技大学陕西西安710055 西北电网有限公司陕西西安710048

为了更好地对工作流模型的验证和性能分析,采用扩展petri网作为工作流建模工具,给出了工作流模型向扩展petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展petri网建立... 详细信息

为了更好地对工作流模型的验证和性能分析,采用扩展petri网作为工作流建模工具,给出了工作流模型向扩展petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。

关键词：扩展petri网工作流验证建模

在线全文

学校读者我要写书评

暂无评论

一种新型扩展petri网理论方法研究

现代计算机 2015年第7期21卷 13-16页

作者：宋亚勤汪静西华大学计算机与软件工程学院成都610039

petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类petri网在系统建模中的不足和优势,在原有petri网的基础上提出一种增广petri网,即带抑止弧和使能弧的着色petri网,这种新型... 详细信息

petri网是一种形式化的建模方法 ,它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类petri网在系统建模中的不足和优势,在原有petri网的基础上提出一种增广petri网,即带抑止弧和使能弧的着色petri网,这种新型的petri网具有很强的模拟描述能力,同时可以对具有优先权性质的系统进行建模,因此对该新型扩展petri网的研究具有十分重要的意义。

关键词：原型petri网扩展petri网抑制弧使能弧

在线全文

学校读者我要写书评

暂无评论

一种支持组合事务的执行语义分析方法

电子学报 2012年第7期40卷 1386-1396页

作者：梅晓勇李师贤黄昌勤郑小林中山大学信息科学与技术学院广东广州510006 湖南文理学院计算机学院湖南常德415000 加利福利亚州立大学欧文分校 irvine92697 浙江大学计算机科学与技术学院浙江杭州310027

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终... 详细信息

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.

关键词：组合事务失败恢复机制执行语义分析扩展petri网

petri网融合蚁群算法的物流配送路径规划

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（工学版） 2011年第12期45卷 2229-2234页

作者：朱伟徐克林孙禹高丽同济大学机械工程学院上海201804

为实现物流配送路径的全局优化,提出petri网融合蚁群算法.引入一种扩展petri网模型并介绍了它的使能规则,提出"动态托肯"和"静态托肯"的概念,介绍了它们的数据结构及其在网络运行时的行为特征:动态托肯携带各自的变迁序列及变迁成本等信... 详细信息

为实现物流配送路径的全局优化,提出petri网融合蚁群算法.引入一种扩展petri网模型并介绍了它的使能规则,提出"动态托肯"和"静态托肯"的概念,介绍了它们的数据结构及其在网络运行时的行为特征:动态托肯携带各自的变迁序列及变迁成本等信息,静态托肯记录库所中最优动态托肯的变迁特征.改进了蚁群算法的概率选择规则,在选择规则中加入配送约束检验因子,对不符合配送约束的变迁以概率0将其排除.改变了禁忌表的设置方式,以蚁群共享禁忌表替代传统禁忌表,既保证了对配送路径的全网遍历,又加快了问题的解算速度.算例比对说明:用petri网融合蚁群算法优化物流配送路径问题,可快速有效地获得问题的最优解或近似最优解.

关键词：扩展petri网动态托肯静态托肯 petri蚁群算法共享禁忌表