CHAP13 网络最大流.pptVIP

* 离散数学 * [例1] 图13.11给出了Petri网的例子. 状态典型地画作圆，而变换画作为竖杠或矩形框. 图13.11 Petri网 * 离散数学 * 定义 13.3.2 Petri网的标记给每个状态赋值一个非负整数. 具有标记的Petri网被称为标记Petri网（有时就是Petri网）. 如果标记对状态p赋值非负整数n，我们说在p存在n个记号. 记号被表示为黑点. [例2] 图13.12给出一个标记Petri网的例子. 标记Petri网 * 离散数学 * 图13.12 标记Petri网 p4 p2 p3 p1 ●● ● ● t1 t3 t2 在模型中，状态代表条件，变换代表事件，在一个状态中至少一个记号（条件）存在指出条件是满足的. * 离散数学 * P4 P1 P2 P3 A=1 P5 P6 P7 P8 P9 B=2 C=3 A=A+1 C=B+C B=A+C 图13.13 图13.10的程序的Petri网，记号指出 执行A=1，B=2和C=3的条件满足 [例3] 计算机程序的Petri网模型 在图13.13，我们给出了图13.10计算机程序的模型. * 离散数学 * 定义13.3.3 在一个Petri网中，如果一条边从状态指向变换我们说是变换T的输入状态. 一个输出状态类似地被定义. 如果对一个变换每个输入状态至少有一个记号，我们说是使能的. 激发一个使能变换从每个输入状态删除一个记号，并对每个输出状态增加一个记号. 激发变换 [例4] 在图13.12的Petri网中，状态p1和p3是变换t1的输入状态. 变换t1和t2是使能的，但变换t3不是使能的. 如果我们激发变换t3，我们得到图13.14的标记Petri网. 变换t3现在是使能的. 如果这时激发t3，我们有如图表示的网. 在这点，无变换是使能的，于是无变换可激发. * 离散数学 * P3 P4 P1 P2 t1 t2 3t P3 P4 P1 P2 t1 t2 t3 激发t3 激发变换t3 图13.14 激发变换t3 * 离散数学 * 定义 13.3.4 如果一个激发序列将一个标记M转换为标记M’，我们说M’是从M可达的. [例5] 在图13.15中，M’’通过首先激发t1再激发t2是 从M可达的. t2 t1 t3 M t2 t1 t3 M’ t2 t1 t3 M” 激发t1 激发t2 激发t3 图13.15 标记M’’通过首先激发t1再激发t2是从M可达的 * 离散数学 * 在Petri网理论研究的最重要性质是活动性（liveness）和安全性(safeness). 活动性与死锁的存在有关，安全性与有界存储容量有关. 说 明 * 离散数学 * [例6] 共享计算机系统的Petri网络模型 两个人共享具有一个磁盘驱动器和一台打印机的一个计算机系统. 每个人都需要D和P. 这种情形的一个可能的Petri网模型如图13.16所示. 标记指出D和P都是适用的. D可使用 P可使用 要求D 要求D D准备好 D准备好 D和P 结束工作 D和P 结束工作 过程 过程 释放 D和P 释放 D和P P准备好 P准备好 要求P 要求P 第1人 第2人 图13.16 共享计算机系统的Petri网模型。 * 离散数学 * 现在假定第1人要求D并且之后再要求P（而第2人两种都不要求）. 于是对于第1人通过首先激发变换“要求D”且之后再激发变换“要求P”模拟这些事件的发生. 结果的Petri网如图13.17所示. 当第1人完成过程并释放D和P，这通过激发变换“过程（process）”和之后的“释放D和P”来模拟，我们返回到图13.16的Petri网. 如果第2人要求D且再要求P（而第1人两种都不要求），我们得到类似的激发序列. 说 明 * 离散数学 * D可使用 P可使用 要求D 要求D D准备好 D准备好 D和P 结束工作 D和P 结束工作 过程 过程 释放 D和P 释放 D和P P准备好 P准备好 要求P 要求P 第1人 第2人 图13.17 对第1人激发“要求D”和“要求P”后图13.16的Petri网。当第1人完成过程并释放D和P，这通过激发变换“过程（process）”和之后的“释放D和P”来模拟，我们再次得到图13.16的Petri网 Petri网 * 离散数学 * 假设我们有图13.16的情形. 现在假定第1人要求D，之后第2人要求P. 为模拟这些事件的发生激发适当的变换后，我们得到图13.18的Petri网. 注意，在该点不存在能够激发的变换. 第1人等待第2人释放P且第2人等待第1人释放D. 系统内部的活动停止，我们说发生了死锁. 死 锁 * 离散数学 * D可使用 P可使用 要求D 要求D D准备