基于Petri的改进优先级队列缓存管理分析与仿真

为了解决由于网络环境中多媒体业务需求的快速增加,导致应用对延迟和拥塞概率等性能指标的要求逐渐提高的问题,提出了一种改进的优先级队列的缓存管理机制。详细研究了该机制的实现原理和方法,并使用Petri工具及排队理论对改进的优先级队列进行了建模。通过仿真实验分析了该缓存管理机制在缓存管理过程中的性能指标,证明了该缓存管理机制能有效地提高多媒体通信的性能,满足多媒体通信的服务质量要求。     

基于赋时Petri网的批处理系统建模

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统，串行与并行生产过程并存。为了建立批处理系统的动态模型，引入了赋时Petri网的建模概念和特征，进行了批处理系统中资源模块的建模描述。在此基础上，提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法，针对具体的批处理实例系统进行了建模。同时，在实例模型基础上，进行了批处理系统的调度研究。     

FMS中机器人控制系统的建模与实现

文章将机器人控制系统作为FMS控制系统中的一个通用组件来研究其建模、软件设计以及实现的方法。为了使机器人控制组件具有控制逻辑评价功能，采用面向对象方法来建立机器人控制系统的Petri网模型；为了使机器人控制组件能在FMS环境中实现即插即入的功能，进行了机器人组件与FMS中其它组件的基于CORBA的通讯接口的定义。为了使软件控制系统具有良好的维护性、重用性和可重配置性，建立了面向对象类的统一建模语言（UML）模型，同时开发了机器人控制组件，并在无锡职业学院FMS的机器人控制系统中得到验证。     

Adaptive Modelling and Simulation of Product Development Processes

A tool for modelling and simulation of product development processes has to be able to map the specific stochastic behaviour of these processes. Taking this into consideration, the paper presents an approach to adaptive modelling and simulation using Petri nets. New to this approach is that the process model is generated dynamically at simulation run time. Based on the effective premises and boundary conditions, generic processes are selected, parameterised, and integrated as an instance into the model. Thereby, the model is adapted to its present state at simulation run time. This enhances the quality of the simulation results.     

无界Petri网的可达树的综述

Petri网自提出以来得到了学术界和工业界的广泛关注. Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.     

改进的部分可观Petri网系统在线故障诊断器设计

本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分可观Petri网系统的结构与初始标识为已知,故障被建模为不可观变迁.首先,算法需要观测接收事件序列,求解部分可观Petri网的整数线性规划问题,算法对系统的故障进行初步诊断.初步诊断为不确定诊断的情形,采用广义互斥约束的方法进行诊断.最后,通过离散事件系统实例分析,采用本文的算法,故障诊断率显著提高,验证了算法的有效性.     

基于对称三层架构的Petri网仿真工具开发

设计了一种Petri网建模工具.针对该工具的特点定义了一种新的分层体系结构—对称三层架构,采用该架构设计了该工具的体系结构和核心类;对该工具进行了验证.结果表明:通过该工具,可以以图形化的方式建立、分析和仿真Petri网模型.     

智能仓库出入库系统优化研究

针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时 Petri 网的方法建立智能仓库出入库系统的 OOTPN（object oriented timed Petri net）模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用 Flexsim 仿真软件对建立的 OOTPN 模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。     

基于着色树优化的网络并发链路故障快速恢复方法

为了实现网络并发链路故障的快速恢复,提出一种基于改进人工鱼群算法着色树优化的故障快速恢复方法.首先从备份拓扑构造、着色树生成及流量转发三个方面分析整体恢复方案,在此基础上,建立着色树的生成模型并利用人工鱼群算法对其进行优化以进一步提高其性能,引入变异操作有效解决寻优陷入局部僵局的问题.仿真实验表明,该恢复方案不仅提高了网络在并发链路失效情况下的故障恢复能力,同时在恢复路径及路由备份方面也具有较强的性能.     

基于延迟特性的改进随机Petri网建模与分析

随机Petri网能够分析过程中的随机特性,但是不能有效地描述延迟和花费问题.为了解决上述问题,提出了一种基于延迟特性的随机Petri网模型.该模型能根据延迟时间和过程的随机性得到总的时间和花费特性.给出了状态类延迟时间和延迟花费的串联及并联化简方法.最后,通过首都机场的实例说明该方法能更好地表示出应急救援的时间和花费特性.