Petri网建模和Flexsim仿真..docVIP

Petri网建模及仿真 摘要： 关键字：Petri网；Petri经典模型；Petri网运行规则；Petri网建模；仿真 1.Petri网概述 Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。 多年来Petri网的理论日臻完善，己发展成为具有严密的数学基础，多种抽象层次的通用网论。Petri网的应用涉及各个领域，特别适用于模拟这样的一类系统，即系统中含有相互作用的并行分支。由于Petri网对带有并发性、异步性、分布式、非确定性、并行性系统的有力描述，已成为目前最有前途的建模工具。 2.Petri网的经典模型 一个Petri网的结构元素包括：库所(place)、变迁(translation)和有向弧(arc)。库所使用圆来标识，用于描述可能的系统局部状态。变迁使用矩形标识，用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点，或者从变迁节点指向库所节点。通过有向弧描述库所和变迁之间的联系，等价于自动机中的状态转移函数，表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)。在Petri网模型中，系统的动态特性用令牌(toke