模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

Petri网的可达图与可达树的比较

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具,章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具．     

求DEDS关键路（回路）的Petri网方法

为了研究离散事件动态系统的周期性和稳定性,需要求系统矩阵A在极大代数意义下的特征值和特征向量。文[1]通过以A为关联矩阵的有向图G（A）的关键路（回路）得出了一个求特征值和特征向量的方法。本文提出了一种寻找有向图G（A）的关键路（回路）的有效Petri网方法,它有一定规律可循。     

次关键路线法在施工工期优化管理中的应用研究

就双代号施工网络计划优化管理问题,研究了次关键路线上非关键工序的寻求方法,给出了图上计算和解析表达的求解过程,方便了网络计划的优化和管理 。     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

统筹图中求关键路线的一个算法

给出了１个求统筹图中关键路线的多项式算法，证明了该算法的理论依据，分析了它的复杂性为Ｏ（ｎ＾３）。     

基于状态方程的Petri网可达性的扩展

给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.     

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

求解0－1规划的Petri网方法

本文提出了０－１规划的Ｐｅｔｒｉ网模型，并用Ｐｅｔｒｉ的可达性树来求０－１规划的最优解。此方法优于隐枚举法和分枝定界算法，因此为０－１规划的求解提供了更好的方法。     

基于改进的Petri网的虚拟驾驶系统规则的实现

逼真地再现现实世界是虚拟环境最具吸引力的特征,我们对它的兴趣也正是由于它是一个可用于预演环境的迷人的工具．逼真再现中最困难的地方在于行为规则的反映和实现．本文尝试用改进的Ｐｅｔｒｉ网来表达和实现规则,并把这一结果应用于虚拟驾驶系统中规则的处理,得到了较为满意的结果．     

ANALYSING METHOD FOR THE FORMULATING PROCESS OF ENTERPRISE MERGER AND ACQUISITION STRAGEGIES BASED PETRI NET

For the first time, this paper introduces Petri net theory to the domain of enterprise strategy management, puts forword a new way by using Petri net to analyse and describe the formulating process of enterprise merger and acquisition strategies, provides a clear and simple tool for supporting the management bureau of enterprise to make its merger and acquisition strategies.     

支路节点压力通风网络调节计算方法

本文以关键线路法为基础,根据图论理论,给出一种支路节点压力通风网络调节计算方法。采用该方法,既不需要寻找网络独立回路,也不需要确定网络有多少通路,就能确定较好地调节方案。这种方法还易于改变调节设施的位置,变换调节方案,具有较强的应变能力。     

工程网络中关键路线的确定方法及其比较

传统的关键路线的确定只是考虑平均时间一个指标，没有考虑到完工的概率及方差这两个指标，有时与实际不符。本文提出运用数理统计的区间估计的上限来确定网络图关键路线的方法，并利用多目标决策方法建立一个模型，更切合实际地确定了网络中的关键路线。     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

解块三对角线性方程组的广义共轭梯度法

文中用块三对角矩阵的一种不完全LU分解给出了一种解块三对角线性方程组的广义共轭梯度法,该方法具有高级的并行性。