随机数生成的Petri网模拟

引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

变电站的模拟操作系统问题浅析

将变电站接线图用计算机动态模拟开关、刀闸、地线、网门状态，模拟事故进行演习。培训运行人员。通过计算机或网络进行事故演习及分析。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

死锁问题Petri网描述的进一步讨论

在[1]中我们讨论了从系统的Petri网模型来判别系统死锁的某些方法。本文进一步给出从Petri网的关联矩阵本身来判别死锁的若干方法。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

Petri网应用研究

本文介绍了Petri网的基本概念及其发展，以及Petri网的研究方向，讨论rPetri网与面向对象技术的结合，以及Petri网在CIMS领域里的应用研究。     

扩展Petri网结合遗传算法求解Job-Shop问题

针对Job-Shop问题的复杂性,本文定义了一类扩展的时间Petri网对问题进行建模,该模型解决了一般Petri网存在的“死锁”现象,使原始问题转变为状态转移问题,并结合遗传算法进行调度优化。仿真验证了该调度算法的有效性。     

综采面系统Petri网动态模拟及应用研究

从系统工程的角度出发,将Petri网引入煤矿综采工作面的分析和模拟研究。在定性分析的基础上,开发了系统生产过程的模拟软件,并且达到了量化分析。针对综采工作面的特殊性质,通过对系统不同元件属性的分析,建立了综采面系统的Petri网最小事件发生集模型,以及综采面煤流运输系统的Petri网模型;在数学解析方法无法给出量化解析解的情况下,根据系统元件的运行状态服从某一特定的概率分布的特性,采用以时间步长法为主线,其中贯穿最小时间步长法的计算机随机模拟方法,动态地模拟出了综采面系统生产的整个过程,并得出元件和系统的有效度、停机率、煤流定量变化曲线、产量等一系列量化指标。本研究为客观分析综采系统提供了依据。     

基于Petri网和模糊模拟的协同维修进度预测

为了解决协同维修过程中维修作业时间不确定、工序衔接时机不容易把握的难点,避免传统的模糊Petri网理论和方法在进度分析时依托模糊合成规则带来的问题,提出将模糊模拟技术引入到Petri网理论中的建模思想,形成协同维修进度预测的模型。首先,在确定维修任务分解结构、工序接口关系和维修工序作业模糊时间的基础上,利用着色Petri网描述协同维修过程;然后,设置相关颜色集、函数和代码实现模糊模拟技术嵌入Petri网模型的条件;最后,通过多次仿真,记录相应的维修时间和隶属度,完成可信性分析步骤。研究结果表明:所建立的协同维修进度预测模型能将模糊工期型有效转化为与隶属度相关的肯定工期型,克服了传统模糊工期分析中存在模糊合成规则复杂多变等问题;预测结果不仅可以提示维修工序的衔接时间规律,而且能确定在约束条件下按时完工的可信性。     

Petri网中的数学方法

根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网（ETPN）的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解．首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度．通过实例证明了该建模方法和优化算法的有效性和正确性．     

求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型,并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于Petri网的故障诊断新方法

在分析故障诊断问题特点的基础上，提出一种不增加Petri网元组的故障诊断新模型，对故障传播的分析更加方便，并通过实例验证了方法的有效性。     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.