离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

广义随机Petri网用于计算机网络的SNA窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图，从而可描述分析ＳＮＡ的窗式控制机理，并进一步介绍了极限情况下窗式控制机理的分析方法，比较了三种窗式控制机理的性能指标。     

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

Petri网方法及其在离散事件动态系统研究中的应用

从计算机集成制造系统(CIMS)应用的角度对Petri网方法进行介绍,包括Petri网基础理论和重要性质,并对其在离散事件动态系统中的研究进展进行评述.     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别

本文研究了基于Petri网的机载液压油源系统的建模与时间参数识别问题。机载液压油源系统的正常行为执行时间服从正态分布和异常行为执行时间服从指数分布时间,Petri网模型处理确定行为,不能处理随机行为。随机Petri网(Stochastic Petri Nets ,SPN)模型与确定-随机Petri网(Deterministic Stochastic Petri Nets ,DSPN)模型处理执行时间属于指数分布的行为,不能处理执行时间属于正态分布的行为,本文提出用正态-随机Petri网(Normal-Stochastic Petri Nets, NSPN)模型对机载液压油源系统建模,正态-随机Petri网模型有正态分布的变迁与指数分布的变迁。本文提出正态-随机Petri网模型的正态参数 与指数分布参数 的识别算法,其中 为正态分布的名义值, 为正态分布的标准差, 为指数分布的指数参数值。本文建立了机载液压油源系统的NSPN模型,应用本文参数估测算法对变迁时间参数进行识别,仿真计算结果表明,计算的变迁时间参数与系统实际运行时间参数一致,证明了该方法的有效性。     

广义随机 Petri 网用于计算机网络的 SNA 窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图,从而可描述分析ＳＮＡ的窗式控制机理,并进一步介绍了极限情况下窗式控制机理的分析方法,比较了三种窗式控制机理的性能指标。     

Research on Production Process Control Method Combined Stochastic Process Algebra and Stochastic Petri Nets

A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.     

基于广义随机petri网的供应链订货提前期建模与分析

订货提前期是供应链管理中的基础性概念，对它的研究是近年来颇受关注的课题。Petri 网以其兼备图形化的描述方式和严格的数学定义的特点而成为很好的复杂物流系统的建模工具。论文给出广义随机Petri网方法的定义，并应用于计算订货提前期和评价提前期中各种活动的效率，对确定提前期具有一定的指导意义。     

一种扩展Petri网及其应用研究

基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型——控制和数据Petri网(CDPN)．给出了CDPN形式定义,发射规则．研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据．最后给出了该方法在立体停车库控制系统设计中的应用．     

离散事件系统一类禁止状态避免控制

以Ｐｅｔｒｉ网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态，解决了这类禁止状态的避免控制问题     

建模仿真在指挥控制系统综合集成中的运用

为了满足未来作战的需要，对指挥控制系统进行综合集成势在必行，而研究建模仿真技术在指挥控制系统综合集成中的运用对于提高系统集成的整体效率和降低系统集成中的消耗毫无疑问有着重要的意义，分析了指挥控制系统的集成需求、现有集成方法的弊端和建模仿真技术的具体运用．     

交互控制协议的扩充设计及Petri网验证

远程控制是远程数字视频监控系统的核心, 目前很少使用自定义的协议来实现远程控制功能, 已有的交互控制协议功能还存在一些不足, 尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计, 包括请求方法和标头的设计, 使得交互控制协议功能更加完善。为保障协议设计的完整性, 结合协议工作原理, 并考虑报文在信道传输中丢失的情况对交互控制协议建立Pe tri 网模型, 最后通过可达树对协议进行完整性验证。     

MAS行为协进化Petri网模型构建

为对复杂的多Agent行为协进化过程进行建模,给出了行为协进化的MAS智能控制系统的组织构造,引入Petri网方法构建了系统行为协进化过程的Petri网模型,并对模型进行了特性分析及仿真验证.所建模型较好地描述了协进化及其控制过程的流程结构、动态行为规律及多Agent间的交互机制.     

信息化作战背景下指挥控制系统顶层设计研究

从信息化作战背景下指挥控制系统顶层设计的需求入手,对指挥控制系统顶层设计的相关问题进行了探讨.重点讨论了指挥控制系统顶层设计的思维过程、层次结构以及具体的映射关系,为指挥控制系统顶层设计提供了科学的方法和设计方案.     

一类混杂Petri网的极大代数模型研究

针对时间事件图(TEG)建模范围窄的问题,提出了一种用来描述制造系统中的离散和连续事件的混杂事件图(HEG).HEG在TEG的基础上引入连续位置和连续变迁.通过构造一个由四个基本函数组合而成的双子代数系统,推导出一组极小代数等式来表示HEG,证明这组等式在极大代数意义下是线性的.这样可以继续采用极大代数方法来研究HEG.实例表明,HEG及其极大代数方法的适用范围比TEG广,可以用来建模制造系统的混杂动态行为.     

陆战场空域指挥控制系统建设问题初探

从陆战场空域指挥控制系统建设基本概念出发,探讨了陆战场空域指挥控制与空军空管、海军空管及民航空管之间的关系,分析了作战空间多维、战场态势多变、参战对象多元及指挥方式多样对于陆战场空域指挥控制所提出的需求,最后提出了陆战场空域指挥控制系统应具备的基本功能以及建设的基本途径。