基本拉动系统的Petri多模型及性能分析

基于Ｐｅｔｒｉ网理论,建立了基本拉动Ｐｅｔｒｉ网模型,以基本拉动系统为对象,其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法,为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性。     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

随机Petri网工作流模型的等价性能分析

建立系统Petrl网工作流模型,给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型,并应用这一性能等价方法,逐步化简,最终得到系统的平均执行时间和与性能分析相关的有效定量参数。     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

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

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

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

OSPF协议的随机Petri网模型与性能分析

为了改进开放式最短路径优先(O SPF)协议实现的性能,该文深入分析了O SPF复杂的协议行为并建立了随机Petri网模型。同时提出了耗时过程的概念,并且从O SPF协议行为中提取出耗时过程,简化上述Petri网模型。最后利用工具SPNP进行了模拟分析。实验结果表明O SPF协议在不同的网络状况下具有不同的性能表现:当网络变化频繁时,O SPF协议的主要负载是路由计算;当网络变化平缓时,O SPF协议的主要负载是链路状态声明信息(LSA)检索。这样为提高O SPF协议的性能提供了定量分析方法。     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

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

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

应急物流救援系统的Petri网建模与性能分析

为了更有效地分析应急物流救援系统的性能,在分析Petri网特性及主要功能的基础上,以大型自然灾害或突发事件为背景,引入随机Petri网建模方法建立应急系统模型,进行性能分析。首先根据应急物流救援系统流程图构建Petri网模型,对模型的可达性、活性、安全性进行分析以验证模型的有效性;然后利用马尔可夫随机过程与其同构的特性构建系统的马尔可夫链,建立线性方程,引入算例,通过主要性能指标的定量分析反映系统问题;最后针对系统问题提出建议。该模型能够形象地描述出流程发生的先后次序和异步并发关系,其成熟的性能分析方法能够有效发掘影响系统运作效率的关键环节,为分析系统流程提供了可行的方法,所提建议为优化应急物流救援系统提供了参考。     

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

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

基于Petri网的智能控制结构建模

智能控制具有递阶结构，按照精度提高智能降低的原理依次为组织级、协调级和执行级。本文提出用Ｐｅｔｒｉ网对智能控制递阶结构中组织级的任务规划和协调级进行建模，并提出用Ｐｅｔｒｉ网进行任务分解的方法。本研究对于智能控制的知识表示方法研究有一定的参考意义，并对于机器人系统设计与分析具有重要的理论与应用价值。     

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．     

基于TPN的柔性装配系统建模及其动态性能分析

以某真空开关厂的柔性装配系统为分析对象，建立了系统的延时Ｐｅｔｒｉ网模型，对系统的动态性能进行了仿真分析和定量计算，并对系统中的工位分配方案，操作运输时间及作业控制策略等进行了优化，文中提出的模型和分析方法对柔性装配系统的设计和研究具有普遍的借鉴意义。     

ANALYSING METHOD FOR THE FORMULATING PROCESS OF ENTERPRISE MERGER AND ACQUISITION STRAGEGIES BASED PETRI NET

For the first time, this paper introduces Petri net theory to the domain of enterprise strategy management, puts forword a new way by using Petri net to analyse and describe the formulating process of enterprise merger and acquisition strategies, provides a clear and simple tool for supporting the management bureau of enterprise to make its merger and acquisition strategies.     

应用Petri网对CSMA/CD的描述及分析

Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。     

基于改进的Petri网的虚拟驾驶系统规则的实现

逼真地再现现实世界是虚拟环境最具吸引力的特征,我们对它的兴趣也正是由于它是一个可用于预演环境的迷人的工具．逼真再现中最困难的地方在于行为规则的反映和实现．本文尝试用改进的Ｐｅｔｒｉ网来表达和实现规则,并把这一结果应用于虚拟驾驶系统中规则的处理,得到了较为满意的结果．     

基于Petri网的人员可靠性研究

以往研究人员可靠性基本采用静态方法 ,提出一种动态方法—— Petri网来研究人员可靠性 .在介绍 Petri网基本概念的基础上 ,以碱回收炉操作中出现的人员可靠性问题为例 ,说明在人员可靠性研究中 ,Petri网是一种更为有效的工具