共查询到20条相似文献,搜索用时 312 毫秒
1.
时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程. 相似文献
2.
基于线性时态逻辑的Petri网模型检测 总被引:6,自引:1,他引:5
Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论. 相似文献
3.
工程问题的时序Petri网的建模与求解 总被引:2,自引:1,他引:1
许安国 《系统工程理论与实践》1995,15(8):20-29
本文详细阐述了系统工程问题的时序Petri网建模的一般方法, 并对这种类型时序Petri网的性质进行了简述, 同时给出了这种时序Petri网利用极大代数求解的一般方法。 相似文献
4.
复合时序事件及其基于Petri网的检测 总被引:9,自引:0,他引:9
主动数据库中的规则是由事件驱动的,事件与时间密切相关,然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子,将传统的事件表达式扩展到时序空间,并给出了时序事件表达式的时间语义。为实现对于复合时序事件的增量式检测,定义了标志取代Petri网(TR Petri net),它可表示最近发生事件消耗语义,并在网上计算和传递事件发生时间、文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解,应用TR Petri网对复合时序事件建模和检测具有描述简洁和速度快的优点. 相似文献
5.
6.
描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求. 相似文献
7.
随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。 相似文献
8.
9.
UML2OPN 的建模方法及其在通信装备维修保障系统中的应用 总被引:2,自引:0,他引:2
探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性. 相似文献
10.
为了实现从基于Petri网的企业过程模型到企业流程执行语言BPEL的转化,提出了一种PN2BPEL的模型转化方法。BPEL的XML表示十分的冗长.对于非专业人员来说,从BPEL提供的大量结构中选择合适的一个,并非易事。BPEL也没有形式化的分析技术,因此研究BPEL与其他模型的转化方法是十分有意义的。本文以企业过程模式中最常用到的结构为基础,定义了Petri网的组件集。组件集中的每一个组件对应于特定的BPEL代码。将一个活且有界的Petri网中的每一个组件都用一个简单任务来替换的折叠操作,将不会改变原网的活性和有界性。给出了将一个基于Petri网的企业过程模型转化为相应的BPEL代码的PN2BPEL算法。最后通过一个简单的实例,说明了如何实施提出的转化方法。 相似文献
11.
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善. 相似文献
12.
13.
14.
基于对象Petri网的列车运行模型及仿真 总被引:16,自引:4,他引:12
用带有对象的Petri网对列车群运行进行建模,具有规模小、灵活、直观、模块性好、可操作性良好,属性描述方便,有利于不确定性问题的处理等优点;仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析,验证手段的缺点,又可以克服Petri网在系统描述上的不足,文章描述了仿真系统的总体结构,主要数据结构和仿真策略,由于设计中采用了Petri网模型,路网数据,运行图相分离的原则,使系统具有良好的普适性和扩充性。 相似文献
15.
16.
为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型,并在模型中引入调度库所将调度算法嵌入到模型中,该模型能有效地克服基本Petri网模型规模膨胀的缺陷;同时将每一生产周期分成若干时间段,利用遗传算法来寻找各时间段内调度规则组合来优化半导体制造系统的动态性能,实现分时段优化调度,编码时, 根据机器组的利用率来选择部分机器组为瓶颈机器组,重点调度瓶颈机器组, 提高算法的搜索效率;仿真实验结果验证了该调度方案的优越性. 相似文献
17.
用CIMOSA和随机PETRI网对CIM系统进行行为建模 总被引:1,自引:0,他引:1
利用CIMOSA建模框架和建模语言,一个企业的集成模型能够被建立.用过程规则集能够对企业模型进行行为分析.为了进一步对CIMOSA企业模型的操作进行分析,本文提出了将CIMOSA企业模型转换为等价的随机Petri网模型的系统方法.这种方法是一种将“bot-tom-up”和“top-down”建模方法混合使用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.
随着分布计算技术的迅速发展,利用广域分布的计算资源构建并执行科学工作流,已成为当前学术界和工业界关注的热点问题.为满足用户和计算控制机制的需求,往往需定义科学工作流的时序约束.但是,由于任务处理时间具有不确定性,在运行过程中容易出现时序违反.为保证科学工作流的正确执行,迫切需要能根据实时运行状态自动实现动态调度的方法.针对已有研究方法的不足,本文提出了一种基于遗传蚁群混合算法的科学工作流动态调度优化方法.首先,建立了时序约束下的科学工作流动态调度模型,该模型综合考虑了科学工作流的时间与成本优化目标,并融合了基于概率的时序约束满足性需求;然后,采用改进的遗传蚁群混合算法实现模型求解.该算法通过设计提高种群搜索导向性及保持种群多样性的策略,从求解精度及求解速度两方面提高了求解效率.最后,通过与现有方法的多组实验对比,说明了本文算法的优越性. 相似文献