共查询到19条相似文献,搜索用时 421 毫秒
1.
基于IDEFO模型的Petri网间接建模方法研究 总被引:1,自引:0,他引:1
通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。 相似文献
2.
基于IDEF0模型的Petri网间接建模方法研究 总被引:5,自引:0,他引:5
通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径. 相似文献
3.
Petri网在工作流系统建模和分析中的应用 总被引:4,自引:0,他引:4
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容. 相似文献
4.
5.
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。 相似文献
6.
给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。 相似文献
7.
诊断多智能体重构过程的Petri网模型 总被引:2,自引:0,他引:2
为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。 相似文献
8.
9.
10.
时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性. 相似文献
11.
Application of Petri Net to Fault Diagnosis in Satellite 总被引:2,自引:0,他引:2
1. INTaODUCTIONPetri net is always applied to discrete dynamic systems as a modeling toOl. It has adVantages against Othertools as direct modeling and strict analysis. Petri net can be considered as a graph which is converted intoother from known knowledge represelltation or from st~ure, funcfion or behavior of a system. The occurs when the variables of a system increase that calculation of system design becomes too complicsted to becompleted by hand. Instead, it comes into possible at t… 相似文献
12.
13.
在应用Petri网对大规模复杂系统建模和仿真时,Petri网模型可能出现组合爆炸的现象,从而占用大量的计算资源。考虑到Petri网的并发特性,可将Petri网模型分解为若干子网,进行并行或分布式仿真。在基于HLA的Petri网分布式仿真中,各联邦成员之间需要进行大量的数据交换,从而实现令牌(token)在子网之间的流动。因此,减少冗余数据的传输是提高分布式仿真性能的一种有效途径。对基于HLA的Petri网分布式仿真中的四种数据过滤方法进行了分析和研究,并通过仿真实验比较了它们去除冗余数据的有效性。 相似文献
14.
15.
随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。 相似文献
16.
用CIMOSA和随机PETRI网对CIM系统进行行为建模 总被引:1,自引:0,他引:1
利用CIMOSA建模框架和建模语言,一个企业的集成模型能够被建立.用过程规则集能够对企业模型进行行为分析.为了进一步对CIMOSA企业模型的操作进行分析,本文提出了将CIMOSA企业模型转换为等价的随机Petri网模型的系统方法.这种方法是一种将“bot-tom-up”和“top-down”建模方法混合使用Petri网综合技术.由这种方法得到的Petri网模型能够保持初始Petri网的某些定性结构性质 相似文献
17.
基于对象Petri网的列车运行模型及仿真 总被引:16,自引:4,他引:12
用带有对象的Petri网对列车群运行进行建模,具有规模小、灵活、直观、模块性好、可操作性良好,属性描述方便,有利于不确定性问题的处理等优点;仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析,验证手段的缺点,又可以克服Petri网在系统描述上的不足,文章描述了仿真系统的总体结构,主要数据结构和仿真策略,由于设计中采用了Petri网模型,路网数据,运行图相分离的原则,使系统具有良好的普适性和扩充性。 相似文献
18.
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。 相似文献
19.
由Petri网模型求系统最小割集的自顶向下法 总被引:1,自引:0,他引:1
研究了系统逻辑关系的Petri网表示 ,基于Petri网的建模方法 ,采用Petri网模型求系统最小割集的自顶向下法。与故障树方法相比 ,这种方法可同时获得系统的最小割集和最小路集 ,且求解的效率高。实例分析证实了这一点。 相似文献