生产系统建模与仿真 教学课件 作者 周泓 3_生产系统建模方法.ppt

②合作图（collaboration diagram） 合作图也译成协作图，主要由对象和消息组成。它也是用来描述对象间交互关系，展示对象之间的消息传递。 * 图3-14 某生产系统的合作图描述 实现图 实现图用以描述系统源代码的结构和运行时刻的实现结构，包括构件图和部署图等。 ①构件图（component diagram） 构件图用来描述代码构件的物理结构以及各构件之间的依赖关系。 * （a）构件 （b）接口 （c）依赖关系 图3-15 构件图中的常用符号 ②部署图（deployment diagram） 部署图用来描述如何将某一软件系统部署到相应的硬件环境中。它的用途是显示该系统不同的组件将在何处物理地运行，以及它们将如何彼此通信。 * （a）节点 （b）构件 （c）节点之间的连线 图3-16 部署图中的常用符号 3.5 Petri网建模理论与方法 3.5.1 Petri网的基本概念 Petri网是由德国学者佩特（Carl A. Petri）于1962年在其博士论文中首先提出的一种用于描述事件和条件关系的网络模型。 Petri网能够较好地描述系统的结构，表示系统中的并行、同步、冲突和因果依赖等关系，并以网络图的形式，直观、简洁地对离散事件系统进行模拟，分析系统的动态性质。 经过40多年的发展，目前Petri网建模方法已经在生产系统、决策系统等众多领域得到了广泛地应用。 * 根据Petri网的理论，任何系统都可以认为是由两类元素构成的：一类是表示状态的元素，如机床、仓库、工人等，另一类是表示状态变化的元素，如工件的安装、切削加工、装配等。 在Petri网中，前者用库所（Place）表示，后者用变迁 （Transition）来表示。变迁的作用是改变状态（如同离散事件系统中的事件），库所的作用是决定变迁能否发生 （如同离散事件系统中的状态/活动）。两者之间的这种依赖关系用弧线（箭头）表示出来，就是一个Petri网。 * Petri网的数学定义 定义3-1：一个三元组N = (P, T; F)，其中P = {p1, p2, …, pn}为库所集，n为库所的数量；T = {t1, t2, …, tm}为变迁集，m为变迁数量。则它们构成一个Petri网的充分必要条件是： （1）Petri网的非空性： ，表示网中至少有一个元素。 （2）Petri网的二元性： ，表示库所和变迁是两类不同的元素。 （3）Petri网中不能有孤立的元素：F是由一个P元素和一个T元素组成的有序偶的集合（称为流关系），它建立了从库所到变迁、从变迁到库所的单向联系，并且规定同类元素之间不能直接联系，即满足 （3-2） * 若令dom(F)和cod(F)分别为F中有序偶的第一个元素和第二个元素组成的集合，分别构成了F的定义域和值域，则有 （3-3） 在Petri网的图形化表示方法中，通常采用圆圈“○”和短竖线“∣”来分别表示库存和变迁。这样，就可以将Petri网看作是由库所和变迁这两类节点通过有向弧连接而组成的一种有向图。 * 图3-17 Petri网示例 令牌（Token）：表示库所中拥有的资源数量，并以库所中的令牌数量的改变来表示系统的不同状态。 权函数（Weight Factor）：表示每个变迁发生一次所引起的相关资源数量的变化，也称为权重。分别记由库所p指向变迁t或者由变迁t指向库所p的权重为w(p, t)或者w(t, p)，则一般满足 ， 。缺省时，通常表示权重为1。 容量函数（Capacity Function）：Petri网理论认为发生变迁所需要的资源数量以及库所的容量是有限的，以表示资源有限的事实。当库所的容量不会对系统的行为构成限制时，也允许某些库所的容量为无穷大。 * 此外，在Petri 网中还经常将库所中拥有的资源（令牌）数量及其分布称为标识（Marking），通常记为M，在有向图中用库所中的黑点来表示。并将系统开始运行时的标识称为初始标识（Initial Marking），通常记为M0。显然，标识的数量应小于相应库所的容量，即有M(p) ≤ K(p)。 * 图3-18 简单加工系统的Petri网模型