基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

基于Petri网的超媒体模型HPN

本文提出了一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织,各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的连接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了ＨＰＮ模型的模式化定义并举说明其用途。     

MOPNet：基于模块对象的Petri网模拟及其应用实例

本文把向对象的思想同扩充了的Ｐｅｔｒｉ网相结合，构造了基于模块对象的Ｐｅｔｒｉ网模拟方法ＭＯＰＮｅｔ，用于并发系统的建模，并给出了ＣＡＩ通信模型设计和实现的一个应用实例。     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。     

Petri网的笛加运算及性质研究

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

Petri网的绘制与仿真系统

Ｐｅｔｒｉ网是一种系统描述和分析的工具，目前已有很广泛的应用。本文介绍了Ｐｅｔｒｉ网的绘制与仿真系统的功能及其原理。系统提供网的描述语法与该语法的编译器，并可在屏幕上绘制Ｐｅｔｒｉ网、采用两种不同的方式对网进行仿真以帮助用户分析网的性能。     

模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

一种三态加时变迁Petri网的形式化描述与分析

提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

一种三态加时变迁Petri网的形式比描述与分析

提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析，证明了ＷＴＴＰＮ与其基网系统关于活性，有界（安全）性和可逆性等价。     

基于Retri网的市场需求预测模型研究

市场需求预测问题具有多因素、离散、动态和并发等特点，尤其是并发性始终影响预测结果的稳定性和精度。本文利用Ｐｅｔｒｉ网良好的离散事件动态表达和计算能力以及图形表示的直观性，建立市场需求预测问题的Ｐｅｔｒｉ网模型，并对模型的动态、并发问题进行分析     

Realization of Petrinets: a system theoretic approach

Petrinets have become a useful tool for modelling various classes of systems, especially those involving parallel computations and concurrent processes. The present paper deals with a method for identification of the Petrinet model from a given set of input-output observations. The method actually involves a modification of the system identification techniques of linear system theory. It has been shown that, by assuming the net to be a discrete-time linear dynamical system, it is possible to arrive at a reduced-order Petrinet model for a dynamical process. This procedure will enable one to obtain a Petrinet model for subsequent analysis systematically, thus bypassing normally used trial-and-error techniques.     

一种基于Petri网的时间工作流模型的研究与验证

时间管理是工作流管理软件的重要部分，针对目前工作流系统对时间管理的需求，通过对传统Petri网扩展时间信息来描述时间模型，提出了一种静态验证方法，对模型进行基本验证和任务间的依赖约束验证；实例分析表明，该方法在减少工作量的同时提高了验证的有效性。     

基于空间的计算机支持的协同远程教学系统模型

利用空间模型描述了协同教学系统的特点和组成要素;分析了其过程模式攻虚拟教室模型;利用Petri网描述了该系统中用户、异步和同步课程管理模型;设计并实现了相应的系统结构模型。     

基于改进Petri网的作战指挥协同模型

在系统分析雷达旅(团)指挥协同过程特点的基础上,结合着色Petri网和时间融合函数发展了一类综合有色Petri网方法,并融入CSCW技术建立了相应的雷达旅(团)指挥协同模型.通过对作战指挥协同系统的建模,发现综合着色Petri网可以有效的降低系统模型的规模和复杂性.     

快速扩散制造中的工作流管理技术

针对武器装备快速扩散制造的效率问题,以军工产品的扩散制造为实例背景,提出一种支持快速扩散制造的工作流管理技术,包括工作流建模技术、工作流运行控制技术和工作流系统实现方法,采用Petri网建模方法和基于Web的工作流引擎技术。阐明扩散制造中工作流管理系统的体系结构。结果证明其在提高军工产品制造效率方面效果良好。     

一种基于栈式分配的JVM垃圾收集算法①

为了减少Java虚拟机垃圾收集器的开销,对Java栈帧进行改造使其支持对象的存储,在此基础上提出一种基于栈式内存分配的垃圾收集算法。算法首先在编译阶段通过对Java源代码进行分析确定栈式分配对象,并用扩展指令标识这些对象,程序运行时它们直接被分配到Java栈上,这些对象在程序离开其作用域时立即被释放,其它对象则分配到堆上,由垃圾收集器进行回收。实验结果表明,与传统基于堆式的垃圾收集算法相比,新算法内存分配和即时回收性能优,占用内存空间少。垃圾回收更及时,减轻了垃圾收集器的负担,提高了运行速度。     

一种基于栈式分配的JVM垃圾收集算法①

为了减少Java虚拟机垃圾收集器的开销,对Java栈帧进行改造使其支持对象的存储,在此基础上提出一种基于栈式内存分配的垃圾收集算法。算法首先在编译阶段通过对Java源代码进行分析确定栈式分配对象,并用扩展指令标识这些对象,程序运行时它们直接被分配到Java栈上,这些对象在程序离开其作用域时立即被释放,其它对象则分配到堆上,由垃圾收集器进行回收。实验结果表明,与传统基于堆式的垃圾收集算法相比,新算法内存分配和即时回收性能优,占用内存空间少,垃圾回收更及时,减轻了垃圾收集器的负担,提高了运行速度。     

基于事件驱动的主动对象模型

本文总结了现有被动对象模型存在的不足，探讨了对象的动态行为的抽象和描述问题，提出并建构了基于事件驱动的主动对象模型．在该模型中，引入了主动对象，主动对象能检测到外部发生的事件以决定自己的行为；引入主动对象类，以对主动对象进行抽象描述；还引入了运作对象，以协调其他主动对象的行为，一个运作对象还代表了一个可运行的系统，可以通过继承复用已开发的系统，增加了继承的力度．     

基于IDEF3/Petri的导弹营训练任务建模

在对某导弹营装备系统的组成、功能和所执行的训练任务进行简要剖析的基础上,针对训练任务的复杂性,提出复杂任务按任务流程进行层次分解的思想和方法,利用IDEF3系列软件Bpwin对导弹营的训练任务进行分解并建立其过程模型。在此基础上,研究IDEF3技术向Petri网技术的转换规则,将过程模型转换为ExSpect仿真环境下的仿真模型,并给出仿真的信息表单。