Petri网理论与方法研究综述

综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点。指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态。  

Petri网的广义笛积运算

文[1]曾给出Petri网的两种合成方法，即Ｐ／Ｔ网的加法和笛积运算。本文再提出几种Ｐ／Ｔ网的广义笛积运算，这几种运算都较好地保持网的结构性质。对此给出实例，显示了它们在Ｐ／Ｔ网的合成与分析中的作用。  

P/T网的化简运算及其性质研究

本文首先给出P／T网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为P／T网的分析与综合提供了有效途径．  

求有效极小（受控）可重复向量的一个算法

文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是着定网语言属型的前提条件，文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现，此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现。  

基于时间Petri网的供应链管理建模与分析

讨论了基于时间Petri网的供应链、企业之间工作流的运作效率问题，主要研究了供应链的时间Petri网建模及分析方法，提出了原有时间Petri网可达树算法应用于资源调度问题中的不足之处，并改进了原有算法。通过对供应链上资源的优化利用，可以实现对电子商务、协作商务及虚拟企业的有效管理。  

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

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

独立任务调度的启发式算法

任务调度是一个NP-hard问题,而且是并行与分布式计算中一个必不可少的组成部分,特别是在网格计算环境下任务调度更加复杂。该文提出了满足负载均衡的一个启发式任务调度算法。给出了选择处理机和任务的方法,以提高算法的效率。实验表明该算法是一个高效率的调度算法,并且几乎总是找到了最优调度方案。  

有界Petri网的可达图到网图的转换算法

本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。  

基于行为表达式的任意随机Petri网的品质分析

提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机 Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解决的问题,而且 不必画出Petri网的可达标识图,使分析过程更为简洁.  

Petri网的标注可达

本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。