Video在线视频

那么提高抽象度方法就是

把P/T系统再往高里提高一步

我们已经从EN系统

提高一层到了P/T系统

它里面的token在含义已经从个体变成同类

那么下面呢我们可以再从P/T系统

再提高一步到高级网系统

高级网系统里面有两种

一种是谓词变迁系统叫做Pr/T系统

一种叫做有色网系统

给那个token染上颜色

这三类EN系统P/T系统和高级网系统

都是属于SNT的

就是属于网模型这一类的

因为它们都是线性的

为了进一步的减少接点

我们就提出来了非线性的系统

这个Cyber net system 是早就有的

但是只有一个概念摆在那里

用可以用

但是怎么来分析

文献里没见到我自己也没做研究

我提出来的一种就是这个C_net system

C_net system 也是非线性的

我们随后回来介绍

所以我们一步一步的把这个层次提高了以后

分析起来就要简单的多了

在我们往下讲之前

我们先来回顾一下好不好

我们定义这个基本现象

在应用系统中定义了基本现象

在P/T系统我们也提到了基本现象

并发 顺序这些

我请同学们自己去给出那个形式的或者是半形式的定义

但是往往有一个事情没搞清楚

曾经有人问过我

就是到底这个顺序

我们都说t1或t2顺序发生

t1或t2可以并发

到底他们是不是t1或t2的性质

怎么来理解t1或t2的并发

实际上顺序也好 并发也好 冲突也好 冲撞也好

都不是两个事件它们作为一个整体的性质

它们只是这个事件发生权的性质

如果你到现在理解基本现象理解到这个程度

那么你学得就有收获

就有一定的深度了

因为我们定义

顺序也好并发也好冲突也好冲撞也好的时候

我们都是在指定的状态下面

说在这个状态下面

在这个情态下面

在这个标示下面

这两个是顺序的 这两个是并发的

实际上并发也好 顺序也好

这两个变迁 这两个事件在这个状态底下

它们的发生权之间的关系

所以不是事件或者变迁作为整体它们之间的关系

而是发生权之间的关系

一个事件和另一个事件

有可能在这个状态底下是顺序

在另外一个状态底下是并发

我们教堂婚礼那个例子就有

你可以去找一找

在一个状态底下它是顺序发生

在另外一个状态底下它们俩是并发关系

所以这些基本现象

都不是变迁或者事件之间的关系

而是发生权之间的关系

所以我为什么到现在回过头来提这个呢

就是希望咱们在学习的时候

不要局限于表面的定义

要能够深入的去理解

不然我自己也不会想到这个问题

是因为有大学的老师问我

说怎么理解这个

怎么会有的时候顺序 有的时候并发了呢

我告诉你

它是发生权之间的关系

不是事件或者变迁之间的关系

变迁之间的关系只有一种

就是同步

同步指的是

两组事件反复发生之间呈现出来的规律性

所以它是作为整体

是同步关系或者异步关系

那个是变迁作为一个整体体现出来的规律

而那些基本现象都是发生权之间的关系

隔了那么长时间再来提这个

就是给你一段时间去思考

看看你自己有没有理解到这个程度

学习一个东西

内容是重要的 方法也很重要

怎么能够从表面深入一步

这个也很重要

所以我们要学方法

还有一种基本现象我没有提

这种基本现象就叫confusion

我翻译成混惑

混就是混在一起的混

惑就是迷惑的疑惑的惑 有困惑的惑

叫混惑

什么意思呢

就是并发和冲突两种基本现象

混在一起引起困惑

这种基本现象叫做 confusion

曾经我在文献里面发现的说法是

如果你的网系统里面发现

有混惑这个线也就是confusion 出现

那么你的这个系统就是不完整的

你的有些变迁的外延没有找齐

也就是说你去粗存精的时候缺角的太多了

应该把那些必须要有的找回来

但是我现在考虑呢这种说法是不正确的

所以我这次在基本现象里面没有提它

混惑这种东西

比方说我们教堂婚礼

你仔细分析的话

它就会出现confusion

因为教堂婚礼必须新郎和新娘同时出现在教堂里

神父就问

说你愿意嫁给这个人吗

结果那对面没有人

他怎么回答呀

所以新郎和新娘必须能够见面

两个人必须在

我们换一个解释

同样的一个网系统

我们给它解释成什么呢

解释成法院里面的调解

说两方有矛盾

找法院调解

进那个调解室

进调解室的话

你要让两个人都进去可能就调解不了

吵起来了是不是

说一会让一个先进去

跟他对话完了以后再让另外一个进去

这个时候你发现还有没有冲突

没有冲突了

因为那个法官坐在里面

相当于那个神父

你只进来了一方

需要调解的双方里面的一方

另一方不在

所以就没有冲突可言了

而如果你要是把双方同时叫进来

也就是并发

那么冲突就出现了

法官先跟谁对话呀

要先征求谁的意见呢

就吵起来了

所以呢这就是困惑

你看我们并发如果两个一块儿发生就有冲突

如果一个一个进来就没冲突对吧

这就是并行和冲突这两个东西混在一起

那么按照那个定义这里面是有confusion的

但这个confusion并没有提醒我们说我们是丢了东西了

本来我们调解也好 婚礼也好就是那么个东西

所以这次没有再把confusion这个基本现象写在PPT里面

也没跟大家讲

但是我回过头来

在讲到大家对基本现象的深入理解的时候

我再提一下

就是你别看了书上以后说怎么这个没有了

没有了是有我的思考

好下面我们回过头来讲提高网系统的层次

我们讲到在应用Petri网的时候

怎么来分析一个网系统

那么提高网的级别层次

是分析网系统的方法之一

我们已经讲了EN系统

EN系统描述的个体

因此它的接点会很多

我们把它同类的个体合并在一起

那么用pt系统 库所便签系统

它的接点会少一些

变迁会少一些

S元素会少一些

然后如果这个时候接点还是很多

我们可以继续提高它的层次

就是高级网系统

包括谓词变迁系统也是Pr/T系统还有有色网系统

那么然后呢

这三类都是我说过的

是线性系统

然后有非线性系统

我们下面会介绍

在我们应用的时候

这个方法是有两个

一个为了清晰起见

我们先用EN系统来描述

比方说它里面的个体本来就不太多

另外它里面的个体有很多的共性

我们可以描述一个

另外一个也就知道了

那么这个时候呢

可以先用EN系统来描述这个系统

然后经过一些网射

就是一些在网拓扑底下的连续映射

这个后面我会讲的

把它变成一个P/T系统

那么分析起来就方便些

从P/T系统我们再通过一些连续的映射

变成高级网系统

这样一来呢

例子可以告诉我们可以大大的减少这个接点的个数

另外有些东西你直接描述个体可能不是太好描述

我们直接用高级网系统也行

或者是同一个问题

一部分用低级的 另外一部分用高一级的

这样分别分析也可以

我刚才讲的通用的方法往往效率低

而有针对性的方法呢可能效率高

而且能够体现应用领域的特点

我们看看这个例子

这是那个教堂婚礼

或者说是法院的纠纷调解

这么一个网系统

这个网系统的描述的是个体是吧

中间是一个法官或者一个神父

两旁边是新郎新娘

或者是争执的双方 需要调解的双方

那么这个接点很多

然后我们提高一个层次

把同类的合并

就是这个和这个合并变成两个都在一起了

这个大的是我给它改了一下变成这样了

那么这样一来你看接点是不是减少了

所以这个呢就是P/T系统

因为我们把同类的合并在一起了

那么接点就少了

我们再看下面

来分析一下这个P/T系统

我们要从P/T系统继续提高层次的话

我们就要来分析这个P/T系统

这个P/T系统呢

第一个S元素

就是这两个S元素

它们有个共性

共性是什么呢

就是处在这个状态下的个体

都是处于一种就绪的状态就是ready

ready干嘛

去进行婚礼

神父也是ready了

那两个新人也ready了

这时候婚礼才能进行

所以他们的共同的特点就是就绪

我们用中文来说就是就绪

然后第二个当神父处在这个状态的时候

这是什么 合作

神父和一个新人在合作完成那个程序吧

问他愿不愿意对吧

所以这个是属于一个合作的状态

然后这两个呢

都是属于休息

这是神父完成了一次合作以后

再进入就绪状态之前的休息状态

这个呢是新郎或者新娘

在进入教堂之前的休息状态

所以这两个都是属于休息的状态

这个状态是什么呢

先完成跟神父的交流以后的那个等待的状态

他等另一半来跟他交换戒指

所以我们把这六个S元素的分成了几类啊

一二三四 四类对不对

就绪 合作 休息 等待 分成这四类

这个四类呢 就叫做四个谓词

什么叫做谓词

用一句通俗的话

我就不知道逻辑学家同意不同意

对我的理解我用一个通俗的话来讲

什么叫做谓词

谓词就是一个不完整的陈述句

比方说这个等待

一句完整的陈述句是什么呢

新娘在等待新郎

对吧是完整的

那么把这个去掉

等待新郎这就是一元谓词我缺了一个

等待

新郎新娘都没有了

那就是一个更不完整的是个两元谓词

谁在等待谁呀

两个元都缺了

所以这个谓词呢就是你这么理解

如果你没有学过逻辑的话

不完整的陈述句 还有动态谓词

什么叫做动态谓词呢

你比如说张三是李四的朋友

这是一个完整的陈述句

你把张三去掉

是李四的朋友

这就是一个一元谓词

那么李四的朋友呢

他不是今天有几个明天还有几个后天还是那么多

他会变的

有的人今天跟他不认识后天变成他的朋友了

所以够使得李四的朋友的那个人群 是一个可以变动的

今天是他朋友明天不是了

今天不是他朋友明天是了 是不是

所以这就叫做动态谓词

那么如果这个使它成真的对象不变

那就叫做静态谓词