当前课程知识点:Petri网:模型、理论与应用 > 第三章 Petri网 > 3-6 网系统层次 > 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元素的分成了几类啊
一二三四 四类对不对
就绪 合作 休息 等待 分成这四类
这个四类呢 就叫做四个谓词
什么叫做谓词
用一句通俗的话
我就不知道逻辑学家同意不同意
对我的理解我用一个通俗的话来讲
什么叫做谓词
谓词就是一个不完整的陈述句
比方说这个等待
一句完整的陈述句是什么呢
新娘在等待新郎
对吧是完整的
那么把这个去掉
等待新郎这就是一元谓词我缺了一个
等待
新郎新娘都没有了
那就是一个更不完整的是个两元谓词
谁在等待谁呀
两个元都缺了
所以这个谓词呢就是你这么理解
如果你没有学过逻辑的话
不完整的陈述句 还有动态谓词
什么叫做动态谓词呢
你比如说张三是李四的朋友
这是一个完整的陈述句
你把张三去掉
是李四的朋友
这就是一个一元谓词
那么李四的朋友呢
他不是今天有几个明天还有几个后天还是那么多
他会变的
有的人今天跟他不认识后天变成他的朋友了
所以够使得李四的朋友的那个人群 是一个可以变动的
今天是他朋友明天不是了
今天不是他朋友明天是了 是不是
所以这就叫做动态谓词
那么如果这个使它成真的对象不变
那就叫做静态谓词
-概述
--Video
-有向网
--Video
-3-1 Petri网定义
--Video
-3-2 Petri网层次系统
--Video
-3-3 基本网(EN)系统
--第一部分
--第二部分
--第三部分
--第四部分
-第三章 Petri网--3-3 基本网系统课后思考题
-3-4 条件-事件(C-E)系统
--Video
-第三章 Petri网--3-4 条件-事件系统课后习题
-3-5 库所-变迁(P-T)系统
--Video
--Video
--Video
--Video
--Video
-3-5 库所-变迁(P-T)系统课后习题--作业
-3-6 网系统层次
--Video
-3-7 高级网系统
--Video
-3-8 化简网系统
--Video
-3-9 非线性网系统
--Video
-3-10 小结
--Video
-4-1 前言
--Video
-4-2 网拓扑
--Video
-4-3 并发论
--Video
-4-4 网逻辑
--Video
-4-5 信息流网
--Video
--Video
-4-6 同步论
--Video
--Video
-4-7 同步论-合同实例
--Video
-4-8 同步论-婚礼教堂实例
--Video
-4-9 同步论 同步器
--Video
-第四章 网论--思考题1
-4-10 实例与方法——电梯控制
--第一部分
--第二部分
--第三部分
--第四部分
-4-11 建模方法论
--Video
-4-12 汉诺塔问题
--第一部分
--第二部分
-第四章 网论--思考题2
-5-1 工作流管理联盟
--Video
-5-2 工作流网(WF_net)
--Video
-5-3 Artifacts
--Video
-5-4 BPMN2.0
--Video
-5-5 学界
--Video
-5-6 业务流程管理(BPM)
--Video
-5-7 BPM建模
--A of ARM
-5-8 流程举例
--第一部分
--第二部分
-5-9 流程之外
--Video
-Petri网小结
--Video
--Video
-6.1 过程挖掘基础
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
-6.2 过程挖掘工具
--Video
--Video
-6.3 过程挖掘算法介绍
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
--Video
-6.4 未来研究方向
--Video
-7.1 科研三要素
--Video
-7.2 Program today
--Video
-7.3 Program yesterday
--Video
-7.4 Theory of Programming
--Video
-7.5 A of ARM
--Video
-7.6 R of ARM
--Video
-7.7 M of ARM
--Video
-7.8 OESPA
--Video
-第七章 科研思考--习题
-8.1 树个靶子
--Video
-8.2 八卦与自然
--Video
-8.3 结束语和感谢
--Video
-第八章 总结--习题