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

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

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

计算机网络的Petri网建模及性能指标评估

本文提出了用广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型（ＧＳＰＮ）对计算机网络中几个主要性能指标直接进行计算的方程，克服了以往在建模过程中的盲目性和无规则性．提出了从广义随机Ｐｅｔｒｉ网建模到进行计算机网性能指标计算的一系列方法．这些方法可有效地完成对计算机网络的建模和性能指标的计算，对分析和设计计算机网络具有普遍的指导意义．     

模糊Petri网的反馈控制研究

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

Petri网用于故障诊断

应用Ｐｅｔｒｉ网对系统逻辑关系进行建模,并利用其可达性概念和状态方程来解决故障检测与诊断问题,方法简单易行。以实例说明基于Ｐｅｔｒｉ网的故障诊断的实现。     

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

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

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

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

基于Petri网的一种时序分析方法

Ｐｅｔｒｉ网由于有强大的建模能力和成熟的理论支持,被广泛应用于各种系统的建模．本文通过把Ｐｅｔｒｉ网转换成转移系统,利用转移系统和Ｋｒｉｐｋｅ结构给出时序逻辑语义的解释,从而建立了一种在Ｐｅｔｒｉ网上进行时序分析的方法．这种方法是根据不动点理论,用模型检查验证公式正确性．通过对Ａｄａ程序会合性质进行模型检查,验证了这种方法的有效性．     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。     

计算机网络的Petri网建模及性能指标平估

本文提出了用户广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型对计算机网络中几个主要性能指标直接进行计算的议程，克服了以往在建模过程中的盲目性和无规则性。     

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力,定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网,提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源．以典型的混杂生产过程为例,研究混杂系统生产过程建模．研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程．     

基于Petri网的离散系统仿真方法研究

将Ｐｅｔｒｉ网（Ｐ网）的概念和方法应用于离散系统仿真的方法论研究中。提出了基于Ｐ网的系统化的离散系统仿真建模方法，重点研究了基于Ｐ网的仿真策略，探讨了Ｐ网仿真策略的实现方式，并对其特点进行了分析和讨论。     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．     

一类资源组合问题的扩展参数Petri网建模与优化研究

现代企业重组及ＣＩＭＳ资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法－－扩展参数Ｐｅｔｒｉ网。该网通过着色Ｐｅｔｒｉ网和时间Ｐｅｔｒｉ网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Ｐｅｔｒｉ网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

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

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

逻辑程序的Petri网模型

本文探讨了用Ｐｅｔｒｉ网模拟逻辑程序的可能性，给出了用Ｐｅｔｒｉ网来求取逻辑程序的答案的方法，为自动推理提供了依据，并给出了几个实例。     

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

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

资源循环共享的Petri网的形式化设计方法

资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一。为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基于Ｐｅｔｒｉ网的设计，而后研究了Ｐｅｔｒｉ网的耦合，以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法。     

OORTPN：面向对象的实时Petri网

本文介绍了一种面向对象的实时Ｐｅｔｒｉ网ＯＯＲＴＰＮ它将Ｐｅｔｒｉ网与面向对象技术结合起来，可用来表示时态知识和实时数据，并支持实时智能系统建模，利用它可以建立大型复杂的实时专家系统。