事件驱动的应用系统开发方法学

本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网,并注意到许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性。这里将其用来扩充ＨＩＰＯ方法和ＮＳ方法,使仔们具有规范进程和事件消息的能力。     

一种离散事件系统建模新方法及其应用

为增强Ｐｅｔｒｉ网技术和Ｏ－Ｏ技术相结合而形成的ＯＯＰＮ的描述能力,提出了一种基于消息驱动机制的新型ＯＯＰＮ——ＭＯＰＮ的定义及其特性,它用面向对象方法为系统建立起整体框架,用有色Ｐｅｔｒｉ网具体实现各个对象,并加入消息驱动机制以在对象间传递消息,能较好地将Ｏ－Ｏ技术和Ｐｅｔｒｉ网的优点结合起来．用离散事件系统的典型实例——ＦＭＳ的建模来说明其在离散事件系统建模、分析中的应用     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

基于遗传算法的变结构神经Petri网模型

将Ｐｅｔｒｉ网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Ｐｅｔｒｉ网，建立了人工神经元状态转化的Ｐｅｔｒｉ网模型，在此基础上给出了利用遗传算法设计变结构神经Ｐｅｔｒｉ网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化，仿真结果验证了该方法的可行性。     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

递阶着色Petri网在面向对象设计中的应用

基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用,在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上,分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模,同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法,并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模,最终指导控制软件的开发．     

具有硬实时上限的离散事件系统的建模

实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件,它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束,对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型,并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型,从而使文中的模型能够描述更广泛的离散事件系统．     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

DEDS控制理论模型──受控Petri网的网论语义

离散事件动态系统（ＤＥＤＳ）是复杂系统控制理论的一个重要学科分支。受控Ｐｅｔｒｉ网是控制理论界提出的一个ＤＥＤＳ模型。本文分析此模型的网论语义，以便把Ｐｅｔｒｉ网的研究方法和成果引入离散事件动态系统控制理论的研究。     

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

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

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

带决策的扩展Petri网及其在FMS中的应用

基于Ｐｅｔｒｉ网基本原理，对原有赋时Ｐｔｒｉ网和着色Ｐｅｔｒｉ网加以扩充，提出一种新型的决策的扩展Ｐｅｔｒｉ网（ＤＥＰＮ）方法，并对ＤＥＰＮ模型的建模和应用等问题进行了探讨，文末针对一个实际的ＦＭＳ系统阐述了运用ＤＥＰＮ模型进行建模和展开研究的及过程，难了方法有效性。     

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

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

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

Signal语言对扩展型Petri网的分析

为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

一种扩充的面向对象 Petri 网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动——ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环     

FMS运行控制系统的建模方法及测试机理

本文着重讨论了ＦＭＳ运控软件调试环境系统中被测对象的建模问题，提出了一种基于Ｐｅｔｒｉ网理论的宏Ｐｅｔｒｉ网模型，介绍了其特点及建模方法，最后给出了使用该模型对被测系统进行测试排错的全过程。