多品种库存系统StokPN建模与仿真分析

基于经典Petri网进行了集合标识及其属性扩展;结构元素、算法及函数语义扩展;结构与执行规则扩展;从而定义了集合标识Petri网（StokPN）.以一个约600种产品的单节点库存系统案例进行了StokPN在多品种库存系统中的应用研究.采用AutoMod离散仿真软件实现StokPN的动态分析.通过对采用实际所有品种、采用品种分类简化和采用分类简化的历史数据随机分布拟合三种对比方案,验证了StokPN对多品种库存系统的建模描述能力及其正确性、可信性,证明了实际应用价值.     

基于Petri网的产品设计过程工作流结构化建模与仿真

产品设计过程的工作流管理是产品设计的核心管理过程,直接影响着项目的开发周期和整体效益.为实现对产品设计过程工作流动态性和不确定性的管理与控制,在研究工作流结构化建模相关问题的基础上,提出基于Petri网的产品设计过程工作流结构化建模方法,定义了基于Petri网结构化建模的七种基本结构模块,确定了顺序、重叠、迭代、耦合、分支和连接模式为工作流结构化建模核心模式.以某办公楼的设备详细设计过程为例,进行工作流结构化建模和仿真分析,验证基于Petri网的产品设计过程工作流结构化建模方法的正确性和有效性.     

Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

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

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

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如P/T系统)模拟复杂系统时所遇到的难度.     

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

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

基于颜色Petri网的多agent动态调度建模与分析

多agent系统是一个典型的分布式系统,其任务调度策略的性能对于整个系统的性能有重要的影响。调度策略研究领域中一个重要问题是如何动态可视化地呈现调度过程。颜色Petri网结合了Petri网和高级程序语言的优点,拥有严格的数学理论基础,能够对分布式系统进行图形化的模拟。提出了一种基于层次颜色Petri网的多agent调度过程建模方法,该方法对多agent任务处理的全过程进行了建模,模型中通过不同角色的agent对任务进行动态分解和调度,利用Petri网仿真工具,能够在调度过程中考察所提出的调度策略与已有调度策略相比所具有的优点,而且通过对调度简化模型的状态空间进行分析,证明了调度策略的正确性和合理性。目前这种基于Petri网的形式化的可视仿真方法和模型评价方法是其它验证方法难以实现的。     

基于模糊云模型的C4ISR系统效能需求建模与分析方法

在C⁴ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C⁴ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C⁴ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。     

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

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

基于改进型随机Petri网的维修保障方案评估方法

一体化联合作战对诸军兵种装备系统及其维修保障体系提出了更高的要求,急需对装备维修保障体系运行规律进行建模与仿真分析,提高装备完好率和任务成功率.分析了Molloy形式的随机Petri网及其扩展模型在装备使用与维修过程建模与仿真分析中的不足,据此提出了全局时间的实现方法,改变了抑制孤的功能,选择了适当的变迁规则,提出了基于改进型随机Petri网的装备维修保障过程建模方法,开发了基于MATLAB的分析软件,针对某型导弹装备使用维修过程进行建模与分析,实现了保障方案的评估与优化.     

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。     

UML2OPN 的建模方法及其在通信装备维修保障系统中的应用

探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性.     

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

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

UML通信图和Petri网转换方法的研究

软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

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

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

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

基于分层着色Petri网的装备战场抢修系统建模

讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造，克服了以往用普通Petri网建模的不足之处，使模型变得直观、简单，并有利于模型分析和仿真实现。