期刊文献+
共找到70篇文章
< 1 2 4 >
每页显示 20 50 100
STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY 被引量:7
1
作者 JiangZhibin HeJunming 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2003年第3期272-276,284,共6页
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi... Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources. 展开更多
关键词 Stochastic object-oriented petri nets modeling Reliability Manufacturing system
下载PDF
Generalized stochastic Petri nets based models for performance analysis of communication networks of IEC61850 system
2
作者 常弘 《Journal of Chongqing University》 CAS 2006年第4期205-211,共7页
In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged ... In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged on the net are demonstrated to be stochastic according to investigation on the Ethemet communication principles. Four generalized stochastic Petri nets (GSPN) based models for performance analysis of communication networks of IEC61850 system are developed based on the three-level structure of SAS, different time requirements of the four data streams and different networks topology for different voltage level. The GSPN-based model associated with immediate and exponential transitions is proven to be theoretically isomorphic with Markov chain; hence we apply the mathematic methods of performance evaluation contained in Markov chain to the GSPN models proposed. The computer simulation of the model including only sample value data streams shows that it can meet performance evaluation needs of communication networks of IEC61850 system. Further researches should be focused on the pe^ormance of the other three models to explain clear how those different data streams are interrelated to and interact on each other. 展开更多
关键词 IEC61850 ETHEMET generalized stochastic petri nets model
下载PDF
Modeling method of hybrid systems using extended Petrinets 被引量:1
3
作者 周炳海 王世进 陶丽华 《Journal of Southeast University(English Edition)》 EI CAS 2005年第3期304-309,共6页
In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net (EOHPN),is proposed.To deal with the complexity of hybrid systems, ob... In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net (EOHPN),is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems. 展开更多
关键词 petri nets object-oriented model hybrid system modelING
下载PDF
基于广义随机Petri网的装备战场抢修建模与分析
4
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri网(GSPN) 马尔可夫链(MC) 建模与分析
下载PDF
基于广义随机Petri网的工业设计流程分析 被引量:1
5
作者 何方明 《佳木斯大学学报(自然科学版)》 CAS 2023年第2期11-14,共4页
作为产品设计过程管理研究的重要一环,工业设计流程建模同新产品的开发速度与过程成本有直接关联。针对这一问题,利用广义随机Petri网对工业设计流程进行建模,将设计流程中的执行状态与执行活动分别用库所与变迁表示,对每一变迁赋予一... 作为产品设计过程管理研究的重要一环,工业设计流程建模同新产品的开发速度与过程成本有直接关联。针对这一问题,利用广义随机Petri网对工业设计流程进行建模,将设计流程中的执行状态与执行活动分别用库所与变迁表示,对每一变迁赋予一个实施速率,构建出可靠的工作流模型,根据转化规则,将该Petri网模型转换成与之等价的马尔可夫链模型,由马尔可夫链理论求解得到各可达标识的稳态概率,最后利用获得的稳态概率对模型主要性能进行分析,找出其中的冗余过程,为工业设计流程的设计、规划和评价提供支持。 展开更多
关键词 工业设计流程 广义随机petri 马尔可夫链 性能分析
下载PDF
一种基于Petri网的虚拟维修过程建模方法 被引量:18
6
作者 蒋双双 刘鹏远 张锡恩 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第11期2488-2491,共4页
在虚拟维修领域,一般采用Petri网进行维修过程建模,存在建模方法复杂、理解困难,无法描述维修工作中复杂的行为关系等问题。因此根据维修资源属性和维修过程的特点,提出了一种实用的建模方法,首先将资源分为可变资源与不可变资源,提出... 在虚拟维修领域,一般采用Petri网进行维修过程建模,存在建模方法复杂、理解困难,无法描述维修工作中复杂的行为关系等问题。因此根据维修资源属性和维修过程的特点,提出了一种实用的建模方法,首先将资源分为可变资源与不可变资源,提出了元模型融合的定义,给出了资源共享元模型和操作过程元模型,同时根据过程模型的拓扑特征,提出了广义状态机的概念,在分析模型结构的基础上,提出了基于广义状态机的子网合并。结合实际维修给出了模型实例,并验证了模型的正确性。 展开更多
关键词 虚拟维修 过程建模 元模型 广义状态机petri
下载PDF
基于广义随机Petri网的维护系统仿真与应用 被引量:11
7
作者 刘坚 于德介 +1 位作者 李蓉 李德刚 《机械工程学报》 EI CAS CSCD 北大核心 2005年第10期164-169,共6页
针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护... 针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护系统的性能求解中,在选定的Artifex工具平台上实现了维护系统的长周期真实模拟。通过对不同资源条件下仿真结果的分析,明确维护资源配置与维护系统性能间的对应关系,为维护系统的改进提供指导。方法的正确性和可行性在企业的实际应用中得到了验证。 展开更多
关键词 维护系统 工作流建模 广义随机Petfi网 流程仿真 系统优化
下载PDF
基于Petri网的非串行制造系统的可靠性分析 被引量:17
8
作者 张君一 谢里阳 +1 位作者 李兵 刘晓霞 《机械工程学报》 EI CAS CSCD 北大核心 2009年第12期95-101,共7页
对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度... 对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度定理,对中间缓冲区和机器本身的状态转移概率分别分类求解,计算出相应的缓冲区可用度和等效机器可用度;同时通过功能可靠度指标,对整个加工任务车间的可靠性进行总体评价,从时间量和产品量因子出发,来衡量由于生产率的不平衡以及中间缓冲区的库存太小,引起生产流程中传输道的阻塞和缺料,进而造成的相关工件的加工时间延迟等问题。以三台机床和两个待加工工件的加工装配单元为例,验证该模型与分析方法的有效性。 展开更多
关键词 非串行制造系统 可靠性建模 广义随机petri 功能可靠度 缓冲区可用度
下载PDF
基于有色Petri网的电力系统故障诊断模型研究 被引量:25
9
作者 曾庆锋 何正友 杨健维 《电力系统保护与控制》 EI CSCD 北大核心 2010年第14期5-11,127,共8页
现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标... 现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标记的托肯表示不同类型的状态信息。同时建立有色Petri推理过程,给出变迁的点火规则,根据有色Petri网的推理规则进行推理获得诊断结果。通过对110 kV局部电网和某省局部电网的仿真验证表明:该方法对简单和复杂故障均能获得正确的诊断结果,并且推理速度快,模型简便,网络拓扑和保护配置的改变不影响模型结构,是一种通用性较强的电网故障诊断方法。 展开更多
关键词 有色petri 故障诊断模型 电网故障 通用性
下载PDF
基于广义随机Petri网的装配可靠性建模 被引量:7
10
作者 张根保 刘佳 +2 位作者 葛红玉 王国强 张恒 《计算机集成制造系统》 EI CSCD 北大核心 2012年第3期507-512,共6页
为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建... 为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建立起完整的功能分析模型;将功能分析的结构分析和设计技术模型转化为相应的具有动态分析和定量研究能力的广义随机Petri网模型;为获得可信准确的分析模型,利用三角模糊数中的α-截集对同构的Markov链进行优化;针对装配产品的可靠性特征,用装配可靠度指标对产品进行评价。以某加工中心的分度工作台为例,验证了该建模与分析方法的有效性。 展开更多
关键词 装配 可靠性 广义随机petri 功能分析α-截集 MARKOV链 建模
下载PDF
基于广义随机Petri网的可重组制造单元建模与分析方法 被引量:13
11
作者 谢楠 李爱平 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期828-834,共7页
为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通... 为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通过过渡变迁合成广义随机Petri网模型。在此基础上,采用马尔可夫理论及相关数学方法,分析可重组制造系统的性能指标,并通过实际应用,验证了该建模与分析方法的有效性。 展开更多
关键词 可重组制造单元 广义随机petri 建模 性能分析
下载PDF
基于增强型扩展的面向对象Petri网模型的装备保障能力评估建模 被引量:7
12
作者 张涛 郭波 +1 位作者 谭跃进 武小悦 《兵工学报》 EI CAS CSCD 北大核心 2006年第2期273-277,共5页
提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型,给出了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承... 提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型,给出了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承性、重用性和可维护性,能够反映复杂系统的动态柔性特点,最后给出实例。 展开更多
关键词 系统工程方法论 装备保障 能力评估 扩展的面向对象petri网模型
下载PDF
基于Petri网的建模支持 被引量:7
13
作者 何勇 王红卫 费奇 《华中理工大学学报》 CSCD 北大核心 1995年第5期52-56,共5页
把Petri网应用于基于图形的模型管理和建模支持,为此对Petri网作适当的扩展以适应模型管理,并提出了数学模型的Petri网表示方法.研究了Petri网表示的模型的循环和连通问题,并给出了模型求解过程和模型生成的算法.
关键词 petri 建模 模型生成 模型管理
下载PDF
基于Petri网的飞机交流发电机故障诊断方法研究 被引量:8
14
作者 王修岩 薛斌斌 李宗帅 《计算机测量与控制》 CSCD 北大核心 2012年第4期878-880,共3页
针对目前飞机交流发电机排故工作过程繁琐、效率低下的现状,提出将Petri网理论应用到飞机交流发电机故障诊断中;利用Petri网的并行处理能力来提高排故效率;改进了一种适合故障特性的Petri网模型,以Petri网的变迁激活规则进行故障诊断推... 针对目前飞机交流发电机排故工作过程繁琐、效率低下的现状,提出将Petri网理论应用到飞机交流发电机故障诊断中;利用Petri网的并行处理能力来提高排故效率;改进了一种适合故障特性的Petri网模型,以Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因;最后,以飞机交流发电机的失频故障为例,建立诊断模型,通过仿真分析验证了该方法的可行性和高效性。 展开更多
关键词 飞机交流发电机 故障诊断 故障petri 诊断模型 失频故障
下载PDF
产品开发ProA一般Petri网模型研究 被引量:3
15
作者 曹宜英 秦现生 王炜 《计算机集成制造系统》 EI CSCD 北大核心 2009年第12期2328-2334,共7页
为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型。深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法。在此基础上,建立了产... 为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型。深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法。在此基础上,建立了产品开发ProA的一般Petri网模型。最后,给出了该模型在汽车油泵单向阀测试器开发中的应用情况。 展开更多
关键词 产品开发 PROA 多色petri ProA一般petri网模型
下载PDF
基于GSCPN的硬件木马攻击建模与安全性分析
16
作者 梅波 郭威 +2 位作者 曹志鹏 李沛杰 张文博 《网络与信息安全学报》 2024年第4期72-84,共13页
针对硬件木马(hardware trojan,HT)的研究主要集中在HT设计和防御的具体策略,缺乏面向HT攻击的系统安全性量化评估模型的问题,提出了基于广义随机着色petri网(generalized stochastic coloring petri net,GSCPN)的HT攻击和安全评估模型... 针对硬件木马(hardware trojan,HT)的研究主要集中在HT设计和防御的具体策略,缺乏面向HT攻击的系统安全性量化评估模型的问题,提出了基于广义随机着色petri网(generalized stochastic coloring petri net,GSCPN)的HT攻击和安全评估模型。基于单个基本单元的HT攻击行为和状态之间的时序关系,构建了单个基本单元的HT攻击GSCPN模型,根据系统工作状态下基本单元的通信依赖关系,给出了构建系统HT攻击GSCPN模型的通用方法。求解了与GSCPN模型同构的马尔可夫链的解析解,以及采用蒙特卡罗模拟方法的仿真解,二者的误差仅为0.00183,验证了所提方法建模的准确性。通过案例分析了不同场景下系统的安全性,实验结果表明,木马攻击强度、木马恢复时间和任务执行时间均对安全性有不同程度的影响。 展开更多
关键词 硬件木马 广义随机着色petri 攻击建模 连续时间马尔可夫链
下载PDF
基于广义随机Petri网的MVB网络吞吐性能分析 被引量:8
17
作者 王永翔 王立德 《北京交通大学学报》 EI CAS CSCD 北大核心 2008年第5期98-101,共4页
基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采... 基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具. 展开更多
关键词 电气工程 多功能车辆总线 广义随机petri网模型 性能分析 仿真
下载PDF
一种基于广义随机Petri网的Web服务组合性能预测模型 被引量:3
18
作者 朱俊 郭长国 吴泉源 《计算机科学》 CSCD 北大核心 2011年第8期125-129,共5页
Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率... Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。 展开更多
关键词 WEB服务 性能预测模型 广义随机petri 性能优化
下载PDF
基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析 被引量:8
19
作者 洪志国 吴凤鸽 +2 位作者 范植华 李磊 孙富春 《电子学报》 EI CAS CSCD 北大核心 2005年第2期354-357,共4页
基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件... 基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件对该三层卫星网络模拟的结果进行了比较 ,验证了模型的正确性 ,并得出了诸如在高网络负载的情况下三层网络结构的性能优于单层等新的结论 . 展开更多
关键词 卫星通信 LEO/MEO/GEO卫星网络 GSPN模型 性能分析 OPnet
下载PDF
线性定常系统的Petri网解耦控制 被引量:3
20
作者 万军 赵不贿 《控制理论与应用》 EI CAS CSCD 北大核心 2014年第9期1213-1220,共8页
将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了... 将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了广义连续自控网系统模型与状态空间描述的等效性.基于状态反馈动态解耦的基本原理,探讨了利用Petri网模型结构实现线性定常系统解耦控制的新方法.该方法采用图的遍历算法,可有效的判断系统的可解耦性以及实现解耦控制律,避免了传统解耦控制方法中计算所需的大量矩阵运算.最后给出了两个具体的应用实例. 展开更多
关键词 线性定常系统 petri 广义连续自控网系统 解耦 模型结构 状态反馈
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部