从协议Petri网到Estelle的转换

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.     

基于随机Petri网的机载软件更新系统性能评价

近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。     

ProfiBus协议实时性能的仿真计算

现场总线协议的实时性是评价总互性能的关键因素，能否采用有效的合理的仿真分析是显得尤为重要。本文在详细分析ProfiBus现场总线数据链路层协议运行机理的基础上，采用Petri网方法对协议的MAC层进行仿真建模分析，着重就协议的实时怀能人出了确定随机Petri网仿真模型和性能指标计算方法，并结合实例进行了分析。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

基于颜色Petri网的TCP协议模拟和分析

TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对协议中各种动态关系有较好的刻画,分析了协议的不足,减少了利用一般Petri网系统(如P/T系统)模拟复杂系统的难度.     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

基于时间Petri网的电力系统故障恢复算法的研究

随着电网建设的逐步升级和加强,电网结构趋于成熟稳定,但也愈加庞大复杂。电网不可避免受到故障影响而导致停电,严重危害社会经济的持续发展,因此,电力系统故障恢复问题的研究正成为完善电网建设的一项重要任务。时间Petri网是一种用于描述系统动态行为和分析系统动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并发系统的建模。用时间Petri网来解决故障恢复是一种新型算法。根据时间Petri网的特点,利用时间Petri网为配电网典型结构建立模型,应用迪杰斯特拉计算机算法,辅助计算电力系统配电网故障恢复的最优路径。举例验证本算法的有效性。     

诊断多智能体重构过程的Petri网模型

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。     

有色Petri网在系统分析中的应用

Coloured Petri网(简称CP-nets或CPN)是一种用于设计、详细说明、仿真和检验的面向 图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯协 议、分布式系统、嵌入式系统、自动化生产系统、工作流分析和超大规模集成电路芯片。     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

随机Petri网的坦克综电系统总线性能分析

针对运用解析法对车辆电子系统进行性能建模分析困难这一问题,运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某型车辆总线性能分析指标。实验结果证明,基于SPN的车辆综合电子系统总线建模的正确性与可行性。     

Petri网：一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法     

FLUID-BASED SIMULATION APPROACH FOR HIGH VOLUME CONVEYOR TRANSPORTATION SYSTEMS

High volume conveyor systems in distribution centers have very large footprint and can handlelarge volumes and hold thousands of items.Traditional discrete-event cell-based approach to simulatesuch networks becomes computationally challenging.An alternative approach,in which the traffic isrepresented by segments of fluid flow of different density instead of individual packages,is presentedin this paper to address this challenge.The proposed fluid-based simulation approach is developedusing a Hybrid Petri Nets framework.The underlying model is a combination of an extension of aBatches Petri Nets(BPN)and a Stochastic Petri Nets(SPN).The extensions are in the inclusion ofrandom elements and relaxation of certain structural constraints.Some adaptations are also made to fitthe target system modeling.The approach is presented with an example.     

生产系统Petri网建模与仿真的优化方法

对基本Perti网进行了扩充,包括有色扩展、时间扩展、层次扩展、工作流变量扩展和逻辑变迁的扩展,使之能够对流程活动的核心属性做出描述,从活动的水平和流程结构的角度对系统的性能进行深入研究,并提高现有模型的可重用性。在此基础上,提出了优化的着色赋时Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法。这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性。而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化。