基于Petri网的遥感卫星业务运行管理单元模型设计与仿真

本文首先介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法;然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模;最后利用Petri网仿真软件Visual Object Net 对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明本文所建立的基于Petri网的工作流模型是正确的,并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

基于Petri网的集团军装备指挥流程建模

集团军装备指挥信息复杂,涉及面广,普通的数学建模方法很难仿真。针对此问题,通过Petri网对集团军装备指挥控制信息流程进行建模,得出了与实际符合的Petri网模型,仿真出实际工作中存在的问题,对集团军装备指挥控制系统有一定的指导意义。     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

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

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

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

部分可观时间Petri网故障的贝叶斯诊断

针对双组元推进系统中环境复杂且部分关键信息无法通过传感器获取,提出基于部分可观时间Petri网故障诊断性的贝叶斯估计方法。研究了基于部分可观时间Petri网的双组元推进系统故障诊断性的贝叶斯估计问题。系统过程的变迁分为可观和不可观,结合变迁触发关系和变迁时间信息,建立Petri网模型的状态类图。遍历所有满足可观测变迁触发时间和序列信息的路径,对于诊断结果为可能故障系统,建立故障变迁对应的贝叶斯Petri网模型,将不可观变迁设置为贝叶斯变迁,根据可观变迁触发状态估计不可观变迁触发概率,进一步判断系统故障状态。最后,建立了基于部分可观Petri网的整体推进系统模块,通过仿真实验验证了算法的有效性。     

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

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

面向对象的赋时Petri网的敏捷制造单元仿真

针对敏捷制造单元的特点，提出了一种面向对象的赋时Petri网（OOTPN）的仿真方法。该仿真模型不但能够模拟 实际运行过程中复杂的行为，还可以进行性能分析，为单元重构提供反馈并为单元控制提供指导。这种方法充分利用Petri网技术的仿真能力。同时通过面向对象技术的运用，单元的仿真模型还具有高度柔性和重用性，在单元重构后能够快速生成新的仿真模型。     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

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

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

Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.     

基于映射方法的柔性制造系统建模及仿真程序设计

介绍了基于映射思想的柔性制造系统(FMS)的着色Petri网建模及仿真程序的设计方法.根据FMS硬件系统的组成,将FMS硬件单元分为五大设备类;各类信息及信息传递分别映射为相应的Petri网的库所、变迁状态;包含不同信息类型的库所、变迁映射为仿真程序的数据成员及成员函数.采用这种映射机制对FMS系统的建模容易理解、易于实现,且能使仿真程序的编制更加方便.该方法使得对复杂的柔性制造系统的分析和设计变得更加清晰、直观.     

Petri网在现代企业决策机制中的应用

结合着色随机Ｐｅｔｒｉ网（ＣＳＰＮ）理论及计算机仿真技术,提出了ＳＤＭ－ＣＳＰＮ仿真模型,为研究组织结构,信息访问、时间、信息失真、决策方法及任务环境等多种因素对企业决策机制效率的影响提供了一种新的思路和方法,从而指导现代企业进行组织的设计与优化,以ＡＲＥＮＡ软件为仿真平台,通过实例,给出了决策方法因素影响企业决策机制效率析仿真结果,结果表明,当企业的决策机制与企业所处的外部环境及内部条件相匹配时,将产生较高的决策效率。     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．