基于IDEFO模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比，表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题；提出IDEF0模型到Petri网模型的转换思路和基本转换方法，以一个信息管理模块为例实现模型转换，在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发，为解决当前系统开发遇到的问题提供一种新的途径。     

基于Petri网统一模型的系统开发方法研究

为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

一种作战任务分析仿真模型自动生成方法研究

IDEF3模型以其具有简单易学、容易理解掌握等特点，在对复杂的作战任务过程描述中得到了广泛应用，但是，IDEF3模型在对作战任务的逻辑、时间等方面的分析明显不足。而对象Petri网模型虽然可以解决上述问题，可是其建模困难，技术要求高。针对此问题，将二者有机地结合起来，实现IDEF3模型向对象Petri网仿真模型的自动转换，在对IDEF3形式化描述的基础上，给出了转换规则的形式化描述和仿真脚本自动生成的方法，最后，结合一个应用实例给予验证。     

带回流复杂制造系统基于资源的Petri网仿真原型

针对带回流复杂制造系统建模的难点,提出三种解决办法:首先提出基于资源的Petri网模型构建模式对系统结构建模,避免随加工步骤增多网规模扩大;其次提出IDEF0与PN相结合的建模方法对系统功能建模,实现对系统及子系统功能以及系统间关系的详细描述;最后通过多种变迁种类的引入实现对系统行为建模。在此模型基础上,构建带回流复杂制造系统仿真器原型,并介绍了该仿真器对投料策略和调度规则的仿真。     

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下，防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEF0和IDEF3建立了系统的静态模型，然后通过提出一种随机着色Petri(SPN)，建立了协同交战过程的动态仿真模型。建模仿真分析表明，上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。     

一种新的Petri网模型建立方法

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

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

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

基于多色Petri网的产品开发过程建模

为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出了一种基于多色Petri网(PolyPN)的产品开发过程建模方法.将多色图理论的着色思想融入Petri网中,形成了多色Petri网;结合产品开发ProA递阶分解,给出了构建产品开发多色Petri网过程模型的层次化方法;在此基础上,以汽车油泵单项阀测试器的开发为例进行了建模和仿真分析.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于作战单元的装备综合保障仿真评估研究

针对装备综合保障仿真评估中的三个方面的问题,提出了基于装备作战单元的建模方法,说明了针对装备作战单元建立综合保障仿真评估Petri网模型的方法,并给出了两个具体的仿真流程,说明了具体系统实现的方法。最后,以某装备作战单元为例,将获取的该装备的实际保障工作相关数据,按照所建立的仿真模型的输入要求输入仿真模型,根据模型输出数据,对仿真结果进行分析评估。

Abstract：

According to the three problems in simulation of ILS evaluation, the means of modeling, the method of building Petri net model of ILS simulation to the equipment basic combat unit, and the method of building the system were put forward. Taking an equipment as an example, input the actual support data to the simulation model constructed, and then the simulation result was analyzed. It proves that the model is correct and feasible.     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

基于AOPN的装备使用保障费用模型研究

提出了一种可用于装备保障系统建模与分析的面向方面的Petri网模型(AOPN),给出了该模型形式化描述,该模型引入了面向方面的建模思想,具有很好的模块性、继承性、可维护性以及描述动态过程的能力,将该模型应用到装备使用保障费用的建模与分析中,给出了相应的建模过程与方法,最后给出了一个应用实例。     

投入产出系统Petri网模型

Petri网是分析系统的一种有用工具.介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可分解的必要条件.为使问题阐述清楚,引入了一个具体的投入产出系统例子.将Petri网理论用于投入产出系统的研究,能够直观地反映出投入产出系统结构及其动态行为,是一件十分有意义的事情.     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型