Petri 网模型：性能分析,PetriSim,调研CORSAIR,软硬件协同设计.pdf

第六次作业 -S德云 -S德云 --SSCC1111001111004422吴吴德德云云 一、Petri网模型：性能分析，PetriSim 1、Pretri网络概述 Petri[1]网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发 明的，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式， 也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学 提供坚实的概念基础。 Petri 网在数学上通常用符号的集合来表示, 它可被描述为二元有向图。Petri网包括 四种基本元素: 标记、位置、变迁和弧。变迁描述改变系统状态的事件, 分别用直线或矩形 表示无延时的变迁和有延时的变迁。变迁用于描述修改系统状态的事件,如计算机和通信系 统的信息处理和发送、资源的存取等。 弧简单地连接一个位置和一个变迁或一个变迁和一 个位置，由带箭头的直线来表示和描述对象通过系统的路径, 弧尾部的箭头表示路径方向。 弧用两种方法确定局部状态和事件之间的关系: 引述事件能发生的局部状态；由事件引起局 部状态的转换。 一个经典的Petri网由四元组（库所，变迁，输入函数，输出函数）组成。Pet ri网 以模型系统的组织结构和动态行为作为研究目标，它着眼于系统中可能发生的各种状态变化 以及变化之间的关系，系统中状态的变化通过变迁的实施来完成。变迁的可实施和实施规则 是Petri网中最简单又最重要的规则, 它规范了网络中各位置的标记点在变迁发生前后的 变化规律，反映了网络状态的变化趋势使,Petri 网能够有效地描述和模拟系统的动态特性。 2、基本Pertri网络模型 图1 基本pertri网络模型 (1) 顺序: 如图1 (a) 所示，p1中包含一个标记, 变迁t1启动,p1中的标记移到p2中, 导致 t2启动， p2 中的标记移到p3 中，也就是p1、p2和p3 按照在图中出现的顺序执行。用顺序 执行可以模拟一个线性执行过程。 (2) 同步: 如图1(b)所示,变迁t1 有多重输入弧,只有在p1和p2中都存在一个标记的时候, 才能使t1 启动,也就是p3在p1和p2执行结束之前不能开始执行。 (3) 并行: 在Petri网模型中,两个具备条件并且互不影响的事件可以独立发生。如图1(c) 所示, 变迁t1启动, p1 中失去一个标记, 位置p2 和p3 同时各取得一个标记. 这时变迁 t2 、t3 都可以启动,且互不影响, 网论中称这种现象为并行。 (4) 冲突/ 选择: 如果两个变迁至少共享一个输入位置,则两个变迁在结构上冲突。如图1(d) 所示,p1中有一个标记,从这个给定的初始条件看,t1和t2都能启动, 但不能同时启动, 因为 它们共享p1 中的一个资源,p2和p3中只有一个能取得标记, 也就是说变迁t1 和t2 是互相 冲突的,只能在t1 和t2 中选择其中的一个执行, 这种现象称为冲突/ 选择. 冲突反映了系 统资源的竞争状况。 (5) 混惑: 如图1(e)所示,有时在一个Petri网中同时存在并发和冲突,而且并发的实施会引 起冲突的消失或出现,称这种情况为混惑。存在“混惑”的系统不是一个好系统,因为在这种 系统中,冲突忽隐忽现,致使对系统的控制很难。 (6) 通讯: 图1(f)中,有两个顺序执行序列,右边顺序执行序列中变迁t4必须在位置p4中有 一个标记时才能实施,而只有当t1 实施时,p4中方能获得一个标记。 (7) 资源共享: 在图1(g) ,只有当位置p4中包含一个标记时,变迁t1和t3才能实施。 3、性能分析 借助Petri网可以研究两类特性：与初始标识有关的和与初始标识无关的, 称前一类特 性为行为特性,后一类特性为结构特性。以下讨论的是与初始标示有关的。 (1) 可达性: 是研究任何系统动态特性的基础, 决定系统能否到达一个指定的状态. 按照 Petri网的实施规则,有效转移的实施将改变标记的分布(产生新的标识) 。如果存在一个从 M0到Mn的