Video在线视频

最大的应用

也是用来控制系统的就是同步器

清华大学闻老师这个组呢

就是研究BPM的

也就是业务流程管理

同步论在业务进程管理当中

起着核心的作用

在应用的例子当中

我会专门讲这个BPM

那么我在这个地方呢

先把同步器这个概念跟大家介绍一下

什么叫做同步器

假定我们有两组事件

一个是t1一个是t2

这两组事件之间呢

需要进行同步

怎么个同步法

t1当中第一组事件当中

我要选出a个事件来

各发生一次并发的

等这a个事件发生完了以后

然后从第二组当中t2当中

选出b个事件来并发

各发生一次

那么这个t1和t2的同步呢

就是这样要求的

就是t1当中a个 t2当中b个

前面一组 后面一组 各发生一次

有顺序 有并发

我们怎么描述这个

那么我们就用这个

s来约束它达到这样的同步

我们看这个地方的s呢

前面的t11 t12一直到t1n

是大T1里面的变迁 或者说是任务

作为s的前集

然后t21 t22一直到t2m呢

是T2里面的这个变迁或者是任务

作为s的后集

所以s呢就起到一个承前继后的作用

后面的权是a前面的权是b

什么意思呢

因为t1里面要选a个变迁发生

每个变迁发生以后

它都会给一个信息

给后面说我发生完了

所以这个第二组里面的变迁

要等多少个呢

要等a个任务完成以后的信息

所以它的权是a

那么第一个输入弧上的权是b 什么意思呢

就是任务完成以后我要发b个token

给后面后继的这个b个任务

每个任务给一个

我这儿说token 实际上呢就是在

业务执行过程当中 所形成的文件

我这个任务完成以后

我做了什么事记录在文档上面

然后传给后面的任务

前面的n个变迁 后面的m个变迁

各有一个输入弧 输入库所

这里面都有一个token 什么意思呢

就是告诉你

t11 t12一直到t1n

这里面不管选中了谁

都只能执行一次

因为它只有一个token

所以它只能执行一次

这个后面也是一样

每个变迁都有一个输入弧

输入库所里面只有一个token

就表示这个前面这一组 后面这一组

任何变迁都只能发生一次

如果被选中了 它就发生一次

如果不选中 它就不能发生

怎么同步呢

我要等前面的全部发生完了以后

后面的才能发生呢

s这个元素它有一个细节

它的细节写出来呢 就是由s1和s2组成

它中间有一个变迁

这是一个中间变迁

它的弧上的权呢 是a乘b

所以只有当s1 收到a乘b个token以后

这个中间变迁发生

把这a乘b个token同时传给s2

然后t2里面的那些变迁才有发生权

这就是这个同步器它的细节

前一张后一张加在一起

这说明什么呢

我们这个同步器呀

可以用我们已经学过的petri网的

这个P/T系统来描述

不需要这个增加任何的新的东西

我看到的文献里面

往往有很多用petri网做工具的人

往往大家都喜欢

说我扩展了petri网

我新增加了什么功能

我新提出来一个新东西

其实呢 他们并没有扩展petri网

只不过是提出了一种东西

也可能用起来方便

也可能是因为你对petri网不熟

所以你才需要引进新东西

还有一种可能性

就是我为了写论文

我要提出一种新东西来

我的文章好有亮点

很多年以前我在开一次会的时候

遇到了一个博士生

到我的宿舍里面跟我聊到半夜

他就问我怎么写博士论文

因为我不知道他的研究的是什么

我提不出什么指导性的意见

他最后才告诉我说

另外一个博士生已经毕业了

已经当了老师了 就告诉他

说你只要看petri网里面

还没有人用到的东西

你提出来加进去 那就是你的亮点了

那么这个当然我不能接受这样的观点

我跟他解释了一下

petri网的模拟功能

他的模拟能力已经相当于图灵机了

所以你没有必要再增加新东西

增加新东西

目的不是为了扩展它的模拟能力

而是为了我们用起来方便

我们这个同步器呢

之所以我介绍这些细节

就是说它不是petri网的扩展

但是为了我们用起来方便

我们把这些细节忽略掉隐蔽掉

同步器呢我们提出一种新的变迁规则

这个新的变迁规则

是为了屏蔽这些细节而提出来的

并不是对这个功能的扩展

这个同步器怎么来用图来表示

新的变迁规则是什么

那么下面呢 我给大家介绍

同步器不是P/T系统的扩展

同步器将来会 大家会看到

是BPM建模的核心成份

把细节屏蔽掉

为的是用起来方便

这个图啊就是同步器的图示

这个s呢就是个同步器

围绕着s 它的变迁规则是什么呢

弧上面的权我已经说过了

这个a就表示t1里面

恰好有a个变迁需要发生 各发生一次

这个b呢 就是表示t2里面

要有b个变迁发生 各发生一次

这个s的容量呢 是a乘b

只有当a乘b

a里面的token满了

也就是说它有a乘b个token以后

这个它后面的t2里面的这个

b个变迁才有发生权

这b个变迁是同时获得发生权

不允许单独的一个

举个例子

比方说a等于2 b也等于2

那么b里面呢 第一组呢

要有两个变迁发生

但是它一个变迁发生就给了s两个token

这个t2里面呢

就每一个变迁都需要两个token

那么是不是第一组里面的一个变迁发生

放了两个token在s里面

后面就可以有一个发生了呢

按照传统的变迁规则是可以的

但是对同步器来讲 这是不可以的

我们要求它 必须要等s

达到它的容量以后

后面的才能发生

也就是说 s里面必须有四个token

后面才能发生

为什么呢 因为后面的这个a呀

表示是我需要从

a个前集当中的变迁

各要一个token

而不是从一个变迁里面要2个

我是从两个变迁里面 各要一个

所以这是它的物理意义

这个同步器的变迁规则呢

就是这样的

前面的并发发生完了以后

把token放在s里面

s得到了它的容量所允许的

那么多个token以后

后面t2里面的变迁

同时获得发生权

选其中的b个 发生各发生一次

这里面有五个

我只需要选三个 我选哪三个呢

这就需要根据应用来做选择

反正是这个里告诉你

前面几个 后面几个

必须前面发生完以后 后面才能发生

而且各发生一次

这个等我们讲到BPM的应用的时候

就是在业务流程管理应用的时候

我们会回过头来

看看这个是怎么起作用的

所以同步论呢

我就讲到这

所以同步论的核心概念是同步距离

同步距离最关键的应用

就是用来构造同步器

而同步器是我们讲的应用当中

为业务流程建模 它的核心概念

所以理论部分呢

就是我们讲的模型理论

理论部分到现在就真的讲完啦

这一部分理论部分呢

这个平时大家接触的可能比较少

一般的老师这个在课上都不会讲这些东西

所以我希望大家呢

回去要下点功夫 多思考思考

不是说看一遍或者听一遍 就能够掌握的