第二部分在线视频

好下面我们来讲

基本网系统里面这些元素

它的物理意义是什么

条件它的物理意义是什么

刚才我们讲了

它是一个对象 一个人 一个物质

一个信息一个数据等等

它的一种状态是个体的状态

它也可以是几个个体

结合在一起以后的一种

统一的一个状态

比方说神父在和新娘交流

这可以说是两个人

但是这两个呢是一种交互的状态

是不可分的

所以这个时候也是一个条件

这个条件代表的是

两个对象在合作

而不是单独的是合作的状态

另外它也可能是一个信息

比方说刚才我们讲的这个法官

他的决定这就是一个信息

因为信息对不对

那么信息呢在这个里面

是可以作为条件出现的

因为这种信息是始终是有的

要么处在这个条件

要么不处在这个条件

不可能说没有信息

所以这就是这个条件的物理意义

那么事件的物理意义是什么呢

它是可观察的变化

就是我们可以观察到

什么叫做可观察

可观察呢就是

第一能够看得到

这个看不是光用我们的眼睛看

你可以用耳朵听

你可以用仪器去观察

显微镜啊望远镜啊都可以

可观察还有另外一层含义

就是不因为观察者的不同

而得到观察的不同的结果

我去看是这个你去看也是这个

也就是说可重复性

这叫做可观察的

第二个特征呢

是这个事件它具有原子性

它要么发生要么不发生

不可能有中间状态

说我发生了一半停了没有

我们描述的都是完整的

这个具有原子性的这个变化

你说我现实当中什么事情

都有可能被打断啊

有可能不正常啊

比方说我们录像

也可能突然就中断了对吧

断电啦或者是出现什么事故了

那么petri网不描述这种意外

为什么呢

因为意外它往往是不可观察的

什么意思这意外的后果

往往跟意外发生的原因等等有关系

所以不是统一的

发生意外总是这个样

所以不可观察

所以我们的petri网系统呢

不描述那种没有规律的意外事件

这里呢是几个特殊的例子

我们看这个网都很简单

一共有几个1 2 3 4 5 五个

这五个都是基本网系统

所以我们没有说基本网系统

一定要大到什么程度

这第一个的描写的是一分为二

第二个呢是合二而一

这个都是可以发生的

为什么呢因为它的前集

每个e1的前集有token

e1的后集两个s元素

两个条件都没有token

说它可以发生

第二个呢它也能够发生

因为它的前集有后集没有

e就是b这个第三个图

它是不能发生的

为什么呢因为它的前集有token

但是它的后集也有token

这是个条件

条件要么成真 要么不能成真

你给它放两个token什么意思啊

所以这个事件呢是不能够发生的

这种现象呢petri网里面

把它叫做冲撞

就好像你这个车

开到这里你要往前开

结果前面呢有一辆车

占了那个位置了

闯红灯撞车了就是这个

明明不让你走你往前走

结果就出了事故了

所以我把它叫做冲撞

下面这两个呢

都是非纯的结构

我们说过什么叫做单纯

什么叫做不单纯

这个都是不单纯的

就是它有自环

自己到自己即是输入也是输出

那么第一个不能够发生为什么

它的前集没有token

这后面一个不能发生

是什么意思呢

因为它后面既有token

前集有后集也有

阻挡住它发生了

这里写的是我刚才已经说过的东西

那么在非单纯的这个结构里面

就是那个b7里面的token

它即是输入条件的token

也是输出条件的token

这个东西在这个

现实生活当中是有解释的

比方说我们的工具

你就干什么事情没有工具不行

但是工具是不消耗的

所以你工具必须要有

但是它又不消耗

所以在干活儿之前有

干活之后也有

那么这种这个不消耗的资源

你自己独用不跟别人共享的工具

一般在这个网系统里面

是不必要出现的

因为它既不消耗

又不影响你的这个具体的活动

所以像这种工具呢

自用的工具不是共享的工具

那么这一类的资源

都不必出现在网系统里面

还有一种可能的解释

就是这个催化剂

我们知道化学反应里面

有一种东西叫催化剂

这化学反应没有这个催化剂不行

但是催化剂它又不消耗

化学反应完了以后

催化剂还是催化剂

所以这类似于工具

那么这种东西呢

用EN系统来描述的话

它是不能够发生的

这提醒我们这个催化剂

一定还有我们所不了解的细节

那么这个东西

如果我们要把它解释成

你的前集里面有token

后集里面也有token

如果我是先消耗后来产生

那么我有这个token

我先消耗掉了

然后我再产生

不是那一消耗掉就没有了吗

我就可以放进去了吗

那么在petri网里面呢

不做这种假定

所以像这种现象

像这个催化剂这样的结构呢

在petri网里面

是不能够用EN系统来描述的

应该用PT系统来描述

另外它的细节

如果我们要用EN系统来描述的话

它一定有细节

我们现在还没有找到细节

所以没法描述它

那个好的EN系统应该是单纯的

应该是没有那种自环的结构的

那么最好呢也是简单的

你如果两个代表不同的东西

那你可以是不简单的

但是最好的呢是简单的

好 我们再看这个例子

这个例子呢是四季变化的例子

春夏秋冬我们知道现在是

今天是入伏的一天

那么这个token呢

就表示现在是夏季了

夏季过后是什么是秋季对吧

秋季完了是冬季 冬季完了是春季

这样的一个变化的过程

好像我们描述的挺合适

四个季节然后依次发生

春 夏 秋 冬

但是符合我们刚才讲的那个条件吗

这个条件是可以观察的吗

我们来仔细分析一下可以看到

这个刚刚从冬天到春天的时候

可能有不同的人会有不同的感觉

尤其是在昆明四季如春

所以有的人穿着短袖

有的人穿的皮袄戴着皮帽子

这就是说不同的人有不同的感觉

所以这个季节到底是不是春季

不同的人他是依赖观察的

不同人不同的感受

所以东北人要是到了这儿

就热的要死

南方的人呢来了可能会觉得冷

所以这个条件呢

就是春夏秋冬这四个条件

它是不可观察的

也就是说大家观察出来不同的结论

另外这个事件

事件是可以观察的吗

那么我问如果这个事件

是可以观察的

它是什么时刻发生的

什么时候发生的

发生要花时间吗

是瞬时发生的

还是说要有一段时间从开始到结束

要有一段一个期限呢

有一个区间呢

如果说有一个区间

那么我问你这个区间是什么季节

那就不是四季了对不对

如果它是瞬时的

那么这个瞬时 瞬间在什么时候呢

不同的人有不同的

不可能有人指定说就这

就这一瞬间就从春天到了秋天了

或者到了夏天了

那不可能的

所以这样一个看上去

简单的描述四季的一个系统

好像很合理

但是从这个

EN系统的角度来理解的话

它是一个不完整的系统

它不是一个好的EN系统

它的条件和它的事件

都是不可观察的

那么应该怎么做呢

petri说了没有理论

就petri网不可能有好的应用

真正的应用

我们这就借助于理论

借助于理论是什么呢就是同步论

结合同步论我们就知道

这四个变迁是对的

四个变迁就是

春夏季节的变化是有四个

但是这四个它

不仅仅有这四个条件

它有更多的条件

我们如果用s完备化的这个方法

来找到其它的条件

我们会发现这么样的一个

有八个s元素的这样一个四级系统

这个系统的这个获得

是通过s完备化

找到所有可能的s元素

通过同步距离的计算

找到同步距离唯一的

同步距离唯一就是个条件

找到它的条件

我们最后筛选出

我说筛选是因为它一共有14个

我们只需要八个

以后我在讲为什么只需要这八个

那么这就是一个完整的

符合我们的要求的一个四季系统

这四个新加进去的4个s元素呢

分别是这四个变迁的

伴随库所伴随条件

什么叫做伴随

就是在这个事件发生之前它成真

在这个事件发生当中它也成真

在这个事件发生以后它也成真

比方说这个从夏到秋的这个变化

它的伴随条件是什么呢

这个条件成真就意味着

这个季节里面

即有前一个季节就是冬天的影子

又已经传来了这个秋天的味道

所以这个s元素的成真呢

就代表了这样的一个

它是伴随着这个季节的变化的

一个伴随库所

那么这样一来

这个系统把它的变化

用春夏网记录下来的话

就是一个完整的四季变化的系统

这个四季变化的系统呢

就是网的理论部分

就是通用网论里面并发论的一个基础

并发论的公理就是

以四季变化的这个出现网提出来的

它是一个最小的这个

具有完备性的描述并发的一个系统