▪ 初始标识M0={m1,m2,…,mm}中的分量表示起始状态时相应库所 中令牌的数量。系统运行过程中的标识用M表示。
▪ 容量函数K表示库所的容量。有时，允许某些库所的容量为无 穷，表示这些库所的容量不会对系统的行为构成限制。
2020/12/10
22
4.4.2 Petri的基本概念
▪ 权函数W规定每个变迁发生一次引起的相关资源数量的变化。 一般地，对于任何（x，y）∈F，0<W<∞。
T={t1，t2，…，tn}为变迁（transition）的集合； F =（P×T）∪（T×P）为输入函数和输出函数集，称为
流关系。
▪ 三元组N=（P，T；F）构成网（net）的充分必要条件：
① P∩T=ф，规定了库所和变迁是两类不同的元素；
② P∪T≠ф，表示网中至少有一个元素；
③ F=（P×T）∪(T×P)，建立了从库所到变迁、从变迁到库所
p)
M ( p)
若p* t t *
若p t * *t 若p* t t * 若p* t *
M’为M之后继（successor）的事实记作M[t>M’。
2020/12/10
25
4.4.3 Petri网的运行规则
下图是一个petri网系统中变迁t激发前和激发后的标识。
例：根据Petri网的运行规则，按照t1t2t3t4的顺序，依次 对图1中变迁发生进行检查。
2020/12/10
21
4.4.2 Petri的基本概念
（2）定义2：库所/变迁网系统
六组元∑=（P，T；F，K，W，M0 ）构成库所/变迁网系统 （place/transition system，P/T_系统）的条件是：
① N=（P，T；F）是构成∑的基网； ② K，W，M0分别为N上的容量函数、权函数和初始标识。
ACD法的缺点： ✓ 当系统庞大、复杂时，活动循环图将十分复杂； ✓ ACD法只描述系统的稳态，而不研究系统的瞬态（如动作的
开始、结束等）；
✓ ACD法缺乏定量的分析工具。
2020/12/10
3
活动循环图法（Activity Cycle Diagram，ACD）
ACD法中的术语： ✓ 实体 ✓ 活动 ✓ 队列 ✓ 实体行为模式 ✓ 直联活动和虚拟队列 ✓ 合作活动
• Petri网的可达性、有界性和安全性、活性以及可逆性。
1、 可达性 可达性是Petri网的一个重要特性。给定一个Petri网，已知初 始标识M0可以到达那些标识,或者给定某一标识，是否可以 从初始标识通过一系列变迁到达该标识。
第4章 制造系统的建模方法
4.2 活动循环图法 4.4 Petri网建模理论
4.4.1 Petri网的基本概念 4.4.2 Petri网的扩展形式 4.4.3 基于Petri网的事件关系分析 4.4.4 基于Petri网的系统性能分析 4.4.5 Petri网建模与分析实例 4.5 排队系统模型 4.5.1 排队系统的基本概念 4.5.2 顾客到达时间间隔和服务时间分布 4.5.3 排队系统的应用案例 4.6 库存系统模型 4.6.1 库存系统的基本概念 4.6.2 确定型库存模型 4.6.3 随机型库存模型
9
• 4.4 Petri网建模与仿真
–4.4.1 Petri网的概述 –4.4.2 Petri的基本概念 –4.4.3 Petri网的运行规则 –4.4.4 Petri网的变迁间的关系 –4.4.5 Petri网的行为特性 –4.4.6 Petri网的行为特性分析方法 –4.4.7 Petri网的分类 –4.4.8 Petri网建模举例 –4.4.9 高级Petri网
2020/12/10
24
4.4.3 Petri网的运行规则
（4）定义4：变迁发生后果-运行规则
若M[t>,则t在M可以发生，同时将标识M改变为M的后续M’。 对于任何p∈P，M’为：
M ( p) W ( p,t)
M
'
(
p)
M
(
M ( p) W (t, p) W ( p,t)
p) W (t,
4.4.4 Petri网的变迁间的关系
基于Petri网的事件关系分析 1.事件关系逻辑图
a 顺序关系
b 并发关系
c 冲突关系
d 冲撞关系
e 迷惑关系
28
4.4.4 Petri网的变迁间的关系
基于Petri网的事件关系分析 1.事件关系逻辑图
f 死锁关系
2020/12/10
29
4.4.5 Petri网的行为特性
（1）识别实体和属性 ①工人。 “安装工件（RESET）”、“安装刀具 （RETOOL）”、“其它活动（AWAY）”、 “等待 （WAITING）” 。
②机床。：“安装刀具”、“安装工件”和“加工 （RUNNING）”。
2020/12/10
5
活动循环图法（ACD）--举例
（2）画实体活动周期图
绘制实体活动周期图必须遵循以下两个原则： ①交替原则 ②闭合原则
当系统中有多个实体时，有向弧就要使用不同的颜色或线型， 以示不同实体的区别。
2020/12/10
2
活动循环图法（ACD）--建模方法与建模过程
根据研究对象的不同，可以建立系统不同层次的ACD模型， 即高层次模型可以进一步分解为低层次的模型。
ACD法注重“个体”的活动，系统状态的变化是全部个体状 态变化的集合。
库所
变迁
N=<P，T，F>。
其中，P={p1,p2,p3,p4} ； T={t1,t2,t3} ； F ={(p1,t1),(t1,p2),(t1,p3),(p2,t2),…,(t3,p5)}。
2020/12
▪ 图形化表示： Petri网是由节点和有向弧组成的一种有向图。 用圆圈“0”表示库所 用短竖线“|”或矩形“口”表示变迁 以联结库所与变迁之间的有向弧表示输入输出函数 用令牌（token）(库所中的黑点)表示库所中拥有的资源数量。
2020/12/10
4
活动循环图法（ACD）--举例
一个由一位工人看管若干数控机床的加工车间。工人的任务 是：（1）若刀具完好，则安装工件按运行按钮；（2）若若刀具 损坏或需要更新，则先重装刀具，然后按运行按钮。上述工作仅 当机床完成一次自动加工工序并停止运行时工人才能执行。假定 每台机床均可加工各种工件，不会发生刀具、工件短缺现象。希 望通过建模仿真来研究工人的忙闲率。
假定由于存放空间的限制，部件s2和s5最多不能超过100件，停 放在生产线上的半成品s4最多不能超过5件，螺丝钉s3存放的件数不 能超过1000件。
2020/12/10
20
4.4.2 Petri的基本概念
下图是一个具有W的petri网图。在这个图上弧线上标有数字。
·· ··· ···· · ··
··· ···
6
活动循环图法（ACD）--举例
（3）系统活动周期图
7
活动循环图法（ACD）--举例
（4）增加必要的虚拟实体
（5）确定模型的参变量和 属性描述变量
参数：机床数量； 参变量：“累计加工的工件数” 和“累计加工时间”等； 属性变量： “加工工件时 间”、“安装刀具时间”、 “安装工件时间”、“饮茶时 间”等； 服务规则：……
8
活动循环图法（ACD）--建模步骤
（1）识别实体和属性； （2）分析各类实体的活动与状态及其变化的顺序； （3）画出个实体的ACD； （4）将实体ACD连接成系统ACD； （5）增添必要的虚拟实体； （6）表明活动发生的约束条件和占用资源的数量； （7）给出模型参数、参变量计算方法及属性描述变量取 值方法模型，以及排队规则。
K—容量函数——库所容量，标注在库所旁边。缺省时，权重 为1.
M—标识——库所中拥有的资源（令牌）数量及其分布。标识 以库所中的黑点表示。
2020/12/10
19
4.4.2 Petri的基本概念
举例。一个工业生产线Petri网模型。 有一条工业生产线，它要完成两项工业操作，这两个操作分别
用变迁t1和变迁t2表示。第一个变迁t1将传入生产线的半成品s1和部 件s2用两个螺丝钉s3固定在一起，变成半成品s4.第二个变迁t2再将 s4和部件s5用三个螺丝钉s3固定在一起，变成半成品s6.完成操作t1 和t2都要用到工具s7.
Petri网的图形表示则具有形象直观、易于理解的特点，但是 图形表示具有具体性，即Petri网图形往往与特定的建模实例 相对应。
2020/12/10
14
4.4.2 Petri的基本概念
（1）定义1：基本Petri网
N=<P，T，F>。 其中，P={p1，p2，…，pm}为库所（place）的集合；
▪ 上述定义给出了从结构到资源的静态特征，再定义变迁发生的 条件和结果，构成了网系统的完整定义。
▪ 网系统的动态规律称为变迁规则（transition rule）。
2020/12/10
23
4.4.3 Petri网的运行规则
（3）定义3：变迁发生条件—运行规则 六组元∑=（P，T；F，K，W，M）为一Petri网系统。 对于任意t∈T变迁元素，如果在标识M下，有 ∀p∈*t，M（p）≥W（p，t） ∀p∈*t，M（p）≤[K（p）—W（t， p）]。 ∀p∈t*∧∀p∈t*，M（p）≤[K（p）+W（p，t）—W（t，p）] 则称t在M下有效，记作M[t>。
4.4.1 Petri网的概述
离散事件系统建模方法之三——
Petri网（Petri net）
1962年，德国人Carl Adam Petri首次使用网状模型模拟通信 系统，后发展成为Petri网理论。
Petri网能够描述系统的结构特征，并能对系统的动态性能进 行分析。与其它建模方法相比，Petri网建模具有下述优点：