一个面向对象的实时Petri网模型

本文提出了一个面向对象的实时Ｐｅｔｒｉ网模型ＯＯＲＴＰＮ，它可用来表示时态知识和实时数据。     

有色Petri网的一种面向对象扩展形式

Ｐｅｔｒｉ网与面向对象的结合一直是一个令人感兴趣的研究课题。本文把有色Ｐｅｔｒｉ网引入到面向对象方法中,提出了一种面向对象的扩展有色Ｐｅｔｒｉ网,简称为ＯＥＣＰＮ,     

面向对象的Petri网方法及其在软件工程中的应用

本文介绍了面向对象Ｐｅｔｒｉ网方法，给出了ＯＯＰＮ的基本定义和图形表示，讨论了ＯＯＰＮ的特性和子网细化方法。     

WINDOWS环境下的Petri网覆盖树表示

本文通过采用面向对象的方法，研究Ｐｅｔｒｉ网覆盖树的表示，并在ＷＩＮＤＯＷＳ环境下完成了这个辅助工具的研究与开发．     

用OO和Petri网的集成技术开发控制系统

本文提出了一种用面向对象（ＯＯ）和Ｐｅｔｒｉ网的集成技术（ＩＯＰＮ）来开发控制系统的新方法，它包括４个阶段：静态分析；动态分析；集成；实现。ＩＯＰＮ兼有ＯＯ技术和ＰＮ技术的优点，而且能提供控制逻辑高层次规范和控制软件编码间的直接映射。该技术大大节省控制软件的开发时间和现存软件的修改时间。     

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

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

基于多环面向对象着色Petri网的装配调度研究

采用多环面向对象着色Ｐｅｔｒｉ网（ＴＯＯＣＰＮＭ）同启发式算法相结合的方法，研究装配系统的调度问题。先用ＴＯＯＣＰＮＭ来表述系统的调度问题，然后生成并搜索网的部分可达图，以变迁发生顺序的方式给出一个最优或次优的可行调度。由于给出的是一个可行的调度，系统潜在的死锁可以自然得到避免，因此对模型或系统的活性分析可以省略。     

OMGTrader服务的软件过程模型

软件分产品和过程两方面，过程模型在软件开发中有重要的应用价值。结合面向对象开发方法学和工具，提出一种软件过程的Ｐｅｔｒｉ网模型。该模型适合描工发中不断变化和不完整的过程，在ＯＭＧＴｒａｄｅｒ服务的开发过程中取得很好的效果。     

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

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

客车装配线的Petri网建模及其面向对象仿真方法的实现

本首先用Ｐｅｔｒｉ网建模的方法对一客车的装配线进行建模，在此基础上介绍了其面向对象仿真的思想及实现方法。     

一类混杂系统的建模与分析

提出一种广义Ｐｅｔｒｉ网，改进原有线性连续时不变ＳＩＳＯ系统的状态方程，并用它为一类混杂系统建模。同时提出一种混合状态，研究了该状态的演变规则、运行轨迹和状态方程。     

模糊Petri网的反馈控制研究

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

立体分层Petri网的对象化专家系统实现

Ｐｅｔｒｉ网是描述分布式系统的强有力工具,立体分层Ｐｅｔｒｉ网是从系统的监控、行为和运行三个侧面分析实时分布式多智能体系的建模和分析工具。将立分层Ｐｅｔｒ８网转化为对象化的高级Ｐｅｔｒｉ网,利用和ＲＥＴＥ算泊结构相似性改善其软件实现方法,提高系统运行效率。     

基于面向对象着色Petri网的FMS对象类划分及建模

基于面向对象着色Ｐｅｔｒｉ网模型,利用Ｐｅｔｒｉ网和面向对象技术相结合的方法,把ＦＭＳ的物理组成分为５个对象类。每一对象类对应于一个封装的对象子网,用消息位置把各子网集成起来。该模型真实而全面地反映了ＦＭＳ的生产运行,为开发良好的ＦＭＳ在线控制器以及离线仿真器提供了一个很好的模型。     

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

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

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

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

弱引发规则二态加时变迁Petri网定性分析

提出了一种弱引发规则二态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比Ｒａｍｃｈａｎｄａｎｉ的二态加权变迁Ｐｅｔｒｉ网（简称ＴＴＰＮ）更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了ＷＴＴＰＮ的形式描述与分析框架，据此可对它进行定性分析，进而，讨论了ＷＴＴＰＮ及其基网系统之间关系，证明了它们关于活性，有界（安全）性和可逆性等价。     

实时多任务系统的TPCQ建模方法

本文提出了一个基于定时的Ｐｅｔｒｉ网和立方体队列网络的实时多任务系统的建模方法－ＴＰＣＱ，它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统，也可以描述一般的实时多任务系统。文中讨论了ＴＰＣＱ模型，并且给出了一个建立实时多任务系统的ＴＰＣＱ模型的例子。     

时间Petri网的分析工具PANT及其在调度问题中的应用

本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ。我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题。     

模糊Petri网及知识表示

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