基于Petri网模型的航空兵仿真研究

研究了航空兵Petri网模型的多线程构建方法和多线程实现方法以及仿真主进程的结构.结果表明,该仿真系统的结构设定为六部分:即用户接口、信息库、仿真主系统、统计结果分析和运行调整部署机制.     

基于Petri网的工作流模型的研究与仿真

对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于模糊概率Petri网的故障诊断建模与分析

为筛选故障诊断推理中的冗余信息,研究了面向故障诊断的模糊概率Petri网（FPPN）。通过综合专家经验知识,将事件的概率参数引入推理分析中。并给出了基于状态方程的正向、反向及混合推理分析方法。以铁路道岔系统的故障诊断为例,说明基于FPPN的建模和分析方法,结果表明：引人概率参数的FPPN能够筛除冗余信息,分析过程体现了人工推理的思维模式,优于基于FPN的分析结果。     

基于Petri网的对等资源访问控制协议仿真

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.     

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于离散-连续联合建模的供应链混合Petri网仿真研究

供应链是由作为自治实体的供应商、制造商、分销商、零售商的连续性供应、生产、销售活动和物流服务企业的离散性运输活动相互作用而组成的混合系统。传统把供应链作为离散事件系统进行建模与仿真,这种方法不能很好地反映系统的动态复杂性。现采用离散变量与连续变量相结合的建模方法,运用混合Petri网对供应链进行了仿真,证明了其优于离散Petri网仿真。     

多任务剖面下任务成功概率置信下限的评估方法研究

根据武器装备执行多任务的特点,应用样本空间排序法的原理,建立了多任务剖面下当试验剖面与合同规定任务剖面不一致情况时的任务成功概率置信下限评估的数学模型,并利用遗传算法说明了评估计算的一般过程。     

基于规则嵌入赋色Petri网模型的柔性装配系统仿真

针对柔性装配系统复杂的并行作业特点，提出了规则嵌入赋色Petri(RCP)网模型．给出RCP的定义，利用面向对象的语言实现了网的静态描述以及动态运行，在此基础上得到了相关的系统参数，柔性仿真系统以模块化结构实现．以上海科技馆的机器人柔性装配系统为例，给出了它的RCP仿真模型，求出了某作业初始序列下的系统参数，并得到了该作业的最短完成时间的优化序列．     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

基于扩展对象Petri网的产品模型

提出一种支持创新的产品模型，该模型可刻画产品的静态结构，也可刻画产品的动态过程．它集成了面向对象的思想，以实现知识的封装、抽象与层次化建模，特别是扩展了对象的属性类型，将对象的值扩展到流形，然后利用高级Petri网来刻画产品的动态过程．该产品模型能有效地支持产品的创新设计．     

基于Petri网的Job_Shop动态调度问题的模型和仿真

在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级三种情况。最后,以CPN Tools为工具,结合一个Job_Shop调度问题实例,对模型进行了仿真研究,并对结果进行详细的分析。仿真结果表明,提出的模型具有较强的动态响应能力和有效性。     

基于带权Petri网的多媒体同步模型

对Petri网多媒体同步模型进行了研究，基于DTPN和WSPN模型，提出一种新的多媒体同步模型WISPN。把通常位置和交互控制有机结合在一起，使新模型具有动态交互能力，但没有增加元组的数量，从而以更准确、高效的方式描述多媒体同步。     

基于Petri网与BAT的造纸行业排放限值仿真

以OPMSE仿真计算造纸污水中COD,BOD5,NH3-N排放质量浓度为研究对象,查询及调研清河流域典型造纸行业产生的污水中COD,BOD5,NH3-N质量浓度范围,通过OPM SE仿真计算,结果表明:置信水平为99%时,COD置信区间为(34.09,41.84),BOD5置信区间为(6.65,8.40),NH3-N置信区间为(6.28,7.34);最佳出水各指标为ρ(COD)=12.79 mg/L,ρ(BOD5)=2.62 mg/L,ρ(NH3-N)=3.33 mg/L,最差出水各指标为ρ(COD)=70.47 mg/L,ρ(BOD5)=14.51 mg/L,ρ(NH3-N)=10.22 mg/L.将仿真结果与现有排放标准对比,拟定造纸行业的污染物直接排放限值为ρ(COD)=45 mg/L,ρ(BOD5)=9 mg/L,ρ(NH3-N)=8 mg/L.