期刊文献+
共找到65篇文章
< 1 2 4 >
每页显示 20 50 100
基于PetriNet的钢胚磷化PLC控制系统建模及程序设计 被引量:1
1
作者 王永华 高宏伟 《郑州轻工业学院学报(自然科学版)》 CAS 2005年第1期6-9,共4页
采用将分层PetriNet和T组合PetriNet相结合的方法,构建了钢坯磷化PLC控制系统的PetriNet模型,并采用T组合PetriNet的方法对系统性能进行了分析.结果表明:3个子PetriNet具有相同的结构性质,只要分析其中一个子PetriNet模型,就可以推导出... 采用将分层PetriNet和T组合PetriNet相结合的方法,构建了钢坯磷化PLC控制系统的PetriNet模型,并采用T组合PetriNet的方法对系统性能进行了分析.结果表明:3个子PetriNet具有相同的结构性质,只要分析其中一个子PetriNet模型,就可以推导出整个系统的性能,大大简化了系统性能分析的工作量.最后给出了系统的主要控制逻辑方程. 展开更多
关键词 petrinet PLC 程序设计 钢胚磷化
在线阅读 下载PDF
Petri Nets算法在电力系统恢复中的应用 被引量:17
2
作者 程云志 房鑫炎 《电力自动化设备》 EI CSCD 北大核心 2003年第5期12-15,共4页
通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNet... 通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNets算法对系统恢复时各电力元件状态和恢复操作进行建模,可以在时域上直接仿真系统恢复的全过程。该算法考虑了不同恢复阶段的目标、每个操作措施的估计时间和操作员的经验,具有灵活的冲突处理机制和并行处理特性,形成的恢复方案准确而直观。对给定的一个电网算例进行了仿真计算。 展开更多
关键词 电力系统 petrinets算法 电网 系统故障 系统恢复
在线阅读 下载PDF
基于Retri网的市场需求预测模型研究 被引量:4
3
作者 吕丽民 洪莉 陈火旺 《计算机工程与科学》 CSCD 1997年第1期58-62,共5页
市场需求预测问题具有多因素、离散、动态和并发等特点,尤其是并发性始终影响预测结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力以及图形表示的直观性,建立市场需求预测问题的Petri网模型,并对模... 市场需求预测问题具有多因素、离散、动态和并发等特点,尤其是并发性始终影响预测结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力以及图形表示的直观性,建立市场需求预测问题的Petri网模型,并对模型的动态。 展开更多
关键词 并发 petrinet 市场需求预测 企业
在线阅读 下载PDF
网络脆弱性建模方法研究 被引量:4
4
作者 毛捍东 陈锋 张维明 《计算机工程与应用》 CSCD 北大核心 2007年第15期1-5,14,共6页
在计算机安全领域,特别是网络安全领域,对网络系统脆弱性进行建模十分重要,其最终目的就是指导安全管理员仿真攻击场景、分析网络脆弱性之间的关联关系以及建立防御机制。阐述了网络脆弱性的概念及其建模方法发展历程,介绍了攻击树、攻... 在计算机安全领域,特别是网络安全领域,对网络系统脆弱性进行建模十分重要,其最终目的就是指导安全管理员仿真攻击场景、分析网络脆弱性之间的关联关系以及建立防御机制。阐述了网络脆弱性的概念及其建模方法发展历程,介绍了攻击树、攻击图、渗透图、特权提升图、Petrinet、状态图、需求/产出模型等几种典型的脆弱性建模方法,最后总结了今后的发展方向。 展开更多
关键词 脆弱性建模 攻击树 攻击图 渗透图 petrinet
在线阅读 下载PDF
高速飞行器Petri net异常事件诊断系统设计 被引量:2
5
作者 呼卫军 王欢 周军 《西北工业大学学报》 EI CAS CSCD 北大核心 2017年第4期553-560,共8页
高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断... 高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断的系统。基于Petri net方法构建的飞行器异常事件诊断系统,通过分析差异事件对飞行器状态的影响规律,以各状态量传感器读数为输入,发生的事件类型为输出,可以使飞行器自主利用Petri net的矩阵推理运算能力快速在线定位出引起状态异常的事件类型,为后续采取的控制行为提供依据。最后以某RLV再入段为例,对其注入各种类型故障后,应用C++软件对事件诊断系统正确性进行仿真验证,结果证明建立的诊断系统能够正确的诊断和区分不同类型事件。 展开更多
关键词 petrinet 大气扰动 伺服故障 矩阵推理 在线定位
在线阅读 下载PDF
基于着色Petri Net的金属矿山环境评价信息化技术 被引量:1
6
作者 马云峰 韩天放 +2 位作者 李琳琳 胡筱敏 朱彤 《金属矿山》 CAS 北大核心 2010年第11期125-129,共5页
用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析... 用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析、处理等。以《金山店铁矿环境影响评价报告书》为例,根据传统环境评价工程分析方法的特点,构建了与其同构的着色Petri Net模型,并运用CPNtools完成了环境评价工程分析的各种论证,从而为建立C4ISRE奠定了基础。 展开更多
关键词 环境评价 环境评价信息化 环境评价自动化系统 着色petrinet CPNtools C4ISR C4ISRE
在线阅读 下载PDF
并行自动测试系统分层建模及性能评估方法研究 被引量:1
7
作者 马敏 夏侯士戟 黄建国 《系统仿真学报》 CAS CSCD 北大核心 2010年第12期2779-2783,2787,共6页
对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应... 对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。 展开更多
关键词 并行自动测试系统 petrinet UML 分层化建模
在线阅读 下载PDF
基于Petri Net软件体系结构模型的描述 被引量:1
8
作者 周国强 陈春玲 《计算机工程与应用》 CSCD 北大核心 2002年第24期114-117,共4页
软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的... 软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。 展开更多
关键词 软件体系结构 抽象库所 抽象变迁 软件工程 petrinet
在线阅读 下载PDF
制造企业ERP工程实施中的并发事件表述方法 被引量:1
9
作者 刘莉莉 傅铅生 《航空制造技术》 北大核心 2003年第1期40-42,共3页
针对ERP系统中出现的并发事件 ,提出了利用Petrinet理论化解事件冲突的方法 。
关键词 制造企业 并发事件 企业资源计划 petrinet
在线阅读 下载PDF
面向作战任务的舰载指挥控制系统结构优化匹配分析 被引量:1
10
作者 徐佳 夏惠诚 +1 位作者 吴媛媛 徐亚光 《舰船科学技术》 2010年第10期34-37,共4页
对舰载指挥控制C2系统结构进行优化匹配分析,是正确合理使用C2系统的前提和依据。本文利用随机Petri网(SPN)建模工具,得到舰载C2系统的可行结构空间;以C2系统及时性和处理能力为匹配测度,得到面向作战任务的舰载C2系统结构优化匹配模型... 对舰载指挥控制C2系统结构进行优化匹配分析,是正确合理使用C2系统的前提和依据。本文利用随机Petri网(SPN)建模工具,得到舰载C2系统的可行结构空间;以C2系统及时性和处理能力为匹配测度,得到面向作战任务的舰载C2系统结构优化匹配模型;结合实际情况给出实例应用,得到某型舰载C2系统的最优匹配结构。提出的方法操作简单,通用性强,为舰载C2系统匹配分析提供一种新的思路和方法。 展开更多
关键词 舰载指控系统结构 优化匹配 随机petrinet
在线阅读 下载PDF
双层变迁定时Petri Net抽象化
11
作者 罗怡桂 顾君忠 《计算机工程》 CAS CSCD 北大核心 2002年第11期41-43,共3页
该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。
关键词 双层变迁定时petrinet 嵌入式系统 建模工具 抽象化
在线阅读 下载PDF
基于扩展P/T-系统的工作流模型及执行算法研究 被引量:4
12
作者 王玮 徐丽杰 王林 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第8期630-634,共5页
根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的... 根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。 展开更多
关键词 petrinet P/T_系统 工作流 业务流程再造 计算机支持协同工作
在线阅读 下载PDF
基于自组织Petri Net的间歇过程换热网络优化设计 被引量:4
13
作者 贾洋 肖武 董宏光 《化工学报》 EI CAS CSCD 北大核心 2010年第12期3167-3171,共5页
根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配... 根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配原则,对换热网络夹点匹配的分流问题进行了研究,建立了综合考虑夹点规则的数学公式,有利于快速准确地进行夹点处流股的分流匹配。通过实例计算说明了提出方法的可行性和有效性。 展开更多
关键词 petrinet 间歇过程 换热网络 优化设计 夹点技术
在线阅读 下载PDF
基于Petri Nets优化集成共沸精馏系统方法的应用 被引量:2
14
作者 金山 滕林政 +2 位作者 董宏光 肖武 郭新闻 《高校化学工程学报》 EI CAS CSCD 北大核心 2011年第1期129-135,共7页
基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操... 基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操作数建立目标函数,进而通过求解0-1整数线性规划,得到分离共沸物最优操作路径;最终,通过实例计算结果与文献的对比,阐述了方法具有超级结构完备,数学模型精确,求解算法高效的优势。 展开更多
关键词 petrinets 共沸精馏 操作路径 整数规划 优化综合
在线阅读 下载PDF
基于模糊Petri网的知识表示方法在变压器故障诊断专家系统中的应用 被引量:21
15
作者 王蓓蓓 郭基伟 +1 位作者 谢敬东 唐国庆 《电力系统及其自动化学报》 CSCD 2003年第1期74-77,共4页
本文给出了用模糊 Petri网模型来表示变压器故障诊断专家系统中模糊产生式知识库的方法 ,在此模型基础上 ,给出了有效的推理算法 。
关键词 变压器 故障诊断 模糊PETRI网 知识表示 专家系统
在线阅读 下载PDF
信牌驱动式工作流计算模型 被引量:27
16
作者 岳晓丽 杨斌 郝克刚 《计算机研究与发展》 EI CSCD 北大核心 2000年第12期1513-1519,共7页
近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作... 近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性 .因此流程建模 (过程定义 )是实现整个工作流管理系统的关键 .提出了一种新的工作流描述模型——信牌驱动式工作流计算模型 ,它是西北大学软件工程研究所最近开发的一个基于 展开更多
关键词 工作流 工作流模型 流程定义 活动 计算模型 PETRI网
在线阅读 下载PDF
基于工作流的电力系统检修管理建模方法和技术实现 被引量:14
17
作者 王玮 徐丽杰 +1 位作者 王林 吴振升 《电力系统自动化》 EI CSCD 北大核心 2004年第13期80-84,共5页
给出了基于工作流技术的电力系统检修管理过程的全新建模方法及执行算法。以这种面向过程的系统集成技术为基础,可使检修管理信息在调度与运行、检修部门间自动流转与处理,实现检修管理过程的自动化。提出了基于任务的建模思想,以基于Pe... 给出了基于工作流技术的电力系统检修管理过程的全新建模方法及执行算法。以这种面向过程的系统集成技术为基础,可使检修管理信息在调度与运行、检修部门间自动流转与处理,实现检修管理过程的自动化。提出了基于任务的建模思想,以基于Petri网的扩展P/T系统为工作流模型。给出了工作流的定义方式及检修管理过程的建模原理和步骤。系统底层实现基于共享文档数据库及邮件传递技术,具有分布异构系统的互操作能力。给出的方法已成功应用于供电局检修管理系统中,验证了其可行性及有效性。 展开更多
关键词 PETRI网 工作流 工作流管理系统 电力系统 检修管理
在线阅读 下载PDF
基于UML&OPN的C^4ISR系统体系结构仿真验证研究 被引量:11
18
作者 柏晓莉 姜军 +1 位作者 罗雪山 张耀鸿 《系统工程与电子技术》 EI CSCD 北大核心 2008年第4期671-676,共6页
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时... 基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。 展开更多
关键词 C^4ISR系统 体系结构验证 UML 对象PETRI网 仿真
在线阅读 下载PDF
基于语义本体的流程建模与验证 被引量:6
19
作者 常关羽 杨海成 王冲 《计算机集成制造系统》 EI CSCD 北大核心 2016年第9期2256-2263,共8页
针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控... 针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控制结构和共享业务知识的需求,采用语义本体来描述流程的关键要素,形成了可交互操作的流程语义知识,提升了流程的跨机构交互性能,为建设新一代以知识为基础、以人为中心的智能流程系统提供基础支撑。模型对传统流程结构描述进行了拓展,将流程结构表达作为结构语义元素融入流程本体中,得到了更丰富的流程模型描述。为了增强流程模型的可应用性,充分考虑了模型的可验证性问题,给出了相应的验证方法并考察了验证效率,实现了模型语义和结构的双重验证。 展开更多
关键词 业务建模 语义本体 Petri-网 模型验证
在线阅读 下载PDF
基于微分Petri网的民机航迹演化通用模型构建 被引量:4
20
作者 韩云祥 汤新民 +1 位作者 韩松臣 张明 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第2期322-328,共7页
为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参... 为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。 展开更多
关键词 空中交通管制 航迹预测 演化模型 混杂PETRI网 微分Petri网
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部