Petri网分布式仿真中的冲突问题及解决方法

Petri网是一种强大的建模工具,由于其并发的特性,很适用于采用分布式仿真技术以提高其仿真效率。冲突是Petri网仿真中一种常见现象,串行仿真下,冲突有很多成熟的解决方法,而在分布式仿真环境下,各个仿真成员信息的不完整性为冲突的解决带来了困难。给出了一种基于高层体系结构(HLA)的Petri网分布式仿真中冲突问题的解决方法,通过引入一个特别的联邦来预测、检测和消除可能出现的冲突。实验表明这种方法能有效解决分布式冲突问题。     

分布式网络环境下DDM系统层次仿真框架

在基于HLA的大规模交互仿真中，如何灵活、高效地实现分布式网络仿真成为迫切需要解决的问题。HLA中的数据分发管理机制为实现大规模交互仿真提供了可能。分析了数据分发实现过程及过滤原理，结合分布式网络的特点，构建了一种层次化数据分发管理系统仿真结构，提出了层次化DDM系统仿真策略，并对层次化DDM仿真系统的性能进行了分析对比，说明了层次化仿真框架的可行性及优越性。     

维修保障流程的通用仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上，分析了PERT模型和Petri网模型在流程仿真中的应用特点，结合PERT和Petri网技术，提出了基于多层次PERT-Petri网的通用仿真模型，并给出了该模型的建模方法和仿真算法，文章最后给出了一个例子。     

基于嵌入Petri网的GERTS维修保障流程仿真模型研究

在分析维修保障流程建模与仿真重要性的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了基于嵌入Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型生产设备的维修保障流程进行了实例分析。     

流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

基于网格的数据过滤机制及性能优化研究

在大规模分布式交互仿真中，大量仿真实体之间如何进行有效的数据通信是仿真领域研究的重点和难点。为了解决传统DIS数据过滤机制造成的广播风暴以及网络资源的极大耗费，HLA—RTI提供了基于组播通信的数据分发管理（DDM）服务。分析了不同DDM方法的过滤机理，通过对比指出了它们存在的优缺点，在此基础上，重点研究了基于网格数据过滤机制中网格尺寸大小对过滤性能的影响，提出了一种新的求取最优网格尺寸的方法，经过理论推导阐明了选取最优网格尺寸的制约因素，通过仿真实验说明了网格尺寸的选取不宜过小。     

基于HLA/RTI的随机服务系统仿真研究

设计了一个随机服务系统,并进行了基于高层体系结构HLA(highlevelarchitecture)/运行支撑系统RTI(runtimeinfrastructure)的分布式交互仿真的研究。在仿真中,对顾客的到达时间、离开时间与系统的仿真时间进行了分离,并利用RTI提供的deleteObjectInstance、removeObjectInstance和registerObjectInstance函数实现了顾客在不同服务员之间的转移。仿真结果表明了仿真方法的正确性。     

基于拦截式中间件的HLA仿真克隆研究

仿真克隆可以提高分布式离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.介绍仿真克隆的相关概念,基于HLA仿真克隆的体系结构,提出并设计一种支持多剧情并发执行的拦截式仿真克隆中间件,并讨论基于该中问件的仿真克隆过程以及克隆过程中的数据同步策略,最后通过实验验证所提方法的适用性.     

基于移动代理的分布式仿真建模与分析

随着分布式仿真规模的扩大,传统的分布式仿真技术不能完全满足系统需求。利用移动代理的自主性,协调性和智能性等特点,按照RTI接口规范,实现仿真系统功能。首先,分析HLA作为移动代理分布式仿真环境的可行性,指出移动代理在分布式仿真中的优势,然后,构建基于移动代理的邦元管理框架,设计了移动代理邦元运行流程,最后,讨论了在HLA环境中移动代理的时间管理,共享和发布机制等关键问题。构建了基于移动代理的分布式仿真原型系统,并进行了仿真应用测试。     

一种分布式交互仿真中的事件一致性处理算法

确保事件的一致性处理是分布式交互仿真中的重要研究内容。本文给出了一种分布式交互仿真中的事件一致性处理算法，这一算法根据因果关系和仿真的实时性限制，保证各个节点的仿真系统具有相同的事件处理程序，从而较有效地解决了分布式交互仿真中的事件一致性问题。     

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

Petri网共享P型子网合成及其在系统设计中的应用

针对柔性制造系统的设计问题。提出了经由Petri网共享P-型子网构成合成网的解决方案；研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件；主要动机是对[7]的P-组合网系统的有关结果进行推广，将共享库所合成直接椎广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

一种Petri网合成方法及其在系统建模中的应用

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。     

基于事件调度的随机Petri网仿真

当随机Petri网时间变迁的延迟时间分布为非指数分布时，随机Petri网就不再与马尔可夫链同构，不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法，该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算，实例分析证明该仿真算法的有效性。     

Petri网语言的同步混排运算及在语言分析中的应用

Petri网语言是用于系统行为分析的有力工具，利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为．为此，引入Petri网语言同步混排运算，并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系，分析了Petri网语言的同步混排运算的作用和意义，在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法．     

π-网--一类新型的模块化高级Petri网

π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题,在π-网中,任一π-网都可由四类基本π-网Tau网、输入网、自由输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使得π-网自身具有了极大的可操作性和可计算性.     

一种基于单亲遗传算法的petri网发射路径求解算法

给出了一种基于单亲遗传算法的petri网发射路径求解算法，提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作，实现了发射序列的快速求解。仿真结果表明，本算法能够以较大的收敛概率快速地收敛，最终得到多个发射序列。进一步的研究表明，适当的选取样本空间的大小可以使本算法更加快速高效。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于HLA分布式仿真系统的模型驱动设计方法

提出了一种基于HLA分布式仿真系统的模型驱动设计方法。首先提出基于MDA的分布式仿真系统开发框架，然后给出了使用UMLProfile创建HLA元模型的方法，最后分析了从领域元模型到平台元。模型的映射规则．该方法通过定义基于HLA／RTI分布式仿真平台的UMLProfile，订制了HLA元模型以扩充UML对于HLA仿真平台相关模型的描述能力，有利于分布式仿真系统的快速开发和构建，同时容易实现分布式仿真应用从底层RTI平台到其他中间件平台的迁移。