当前课程知识点:Petri网:模型、理论与应用 > 第三章 Petri网 > 3-8 化简网系统 > Video
那么另外一种办法
就是忽略细节
我们除了提高层次以外还可以忽略细节
曾经有人投稿正好是我审的
这个投稿的人是一个博士生
而且他的导师是一个校长
所以挺不高兴的说怎么把我这个拒了
但我觉得这个可能就是误导人家
把忽略细节和提高层次混在一起了
细节少了他认为是网的层次高了一级了
这篇文章当然后来没有出来
那个标题就叫做层次Petri网
Petri网本来就是有层次的
他的层次是我已经讲过的
从EN到P/T 到Pr/T有色网系统这个层次
一步一步的提高
概念也是一步一步的变化的
你忽略细节就是忽略细节 并没有提高层次
所以那个不能叫做层次Petri网
我们看怎么忽略细节
这里这个就是细节
就是神父跟这个新人之一 跟另外一个新人
他们在那里交流
这个就是细节
我们把这个细节可以忽略掉
就变成一个T元素了
那么另外一个我们也忽略掉
就是另外一个T元素了
然后这个呢这个神父
这个也是细节 他要休息一下再回去这也是细节
所以这个图上面就有毛病出来了
就是双向箭头需要它但是不消耗
就是需要他但是他回来
这个神父就相当于一个工具了
我们说过在EN系统里面是不允许自环的
但是在高级网系统里面
在P/T系统里面
是允许自还的
因为它的容量可以是2
可以容纳得下
所以这个呢双向的箭头就表示神父
跟一个新人交流以后 他就接着可以接待第二个新人了
他不需要休息了
那么这个是两个人交换戒指
这个不能忽略
所以如果我们要在P/T系统这个级别上来忽略细节呢
就变成这个了
你这明明是个EN系统你怎么说是P/T系统
刚才我说了
EN系统是P/T系统的一个特例是不是
所以把他忽略细节以后呢就变成这个
你看这个是不是少了
只有三个变迁只有五个S元素是不是
所以这就是忽略细节 我们可以大大的减少接点的个数
分析起来也更容易了
这个是P/T系统
刚才我说把那个当做P/T系统
如果你先把它变成这样的P/T系统了
这个时候怎么忽略细节呢
一样的
你这个细节可以忽略掉
等等 你看忽略了以后是个什么样子呢
就是这样了
这是P/T系统在这个忽略细节以后
这里就变成一个了
刚才我们是两个 这变成一个了
这个还是一样
原来是两个现在分别回来是吧
现在就一个了
所以这就就更少了
只有两个T元素 三个S元素
这是在这个P/T系统上面忽略细节
那么你如果先把EN系统改造成pt系统
忽略细节以后效果就更好
那么这个能不能够忽略细节呢
我们刚才讲的这个是细节
把这个细节忽略掉以后我们看得到的是什么呢
就这样了
这也是细节
这是从休息到就绪
这是细节我们忽略掉
然后那个地方呢也忽略掉
就变成这个样子
怎么样
这只有两个S元素两个T元素了更少了吧 是不是
但是你如果少到最后什么都没有了那也不行对不对
你到底忽略到什么程度
细节省略到什么程度
然后跟你那建模的目的是有关系的
你要这个系统干什么
那么你到一定的程度就可以结束了
你分析到最后你说我就一个S元素
那当然不是一个网了对吧
你就变成一个T元素一个S元素就没有意义了
它里面的性质全部丢失了
所以我们要做什么事情都不能过分
这个适可而止是比较好的
跟你的目的是密切相关的
所有的这些忽略细节也好提高层次也好
它所做的网结构上的变化
都是网拓扑意义下的连续映射
第一它是连续映射
第二呢
它保方向
就是原来的箭头是什么方向仍然是什么方向
这就是在这个原来的系统
和你提高层次以后的一个系统
那么那个箭头方向应该是一致的
回头去看看那几个例子你就会发现
那个箭头的方向是没有改的
所以这个网拓扑
我将来会讲 网拓扑是告诉你
能够怎么判断什么样的变化是网射
就是连续映射加上保箭头
这就叫做网射
然后只要是网射
这个系统的性质就是保留的
那么网射我简单的来说这个地方就是忽略细节
网射就是如果两个T元素中间一个S元素
你把这个细节忽略掉就变成一个T元素
如果是两个S元素中间一个T元素
忽略细节就变成一个S元素
就是K级变成K级 B级变成B级
这个呢就是网射
那么你如果遵循这个的话
直观上你不要去追究网拓扑的细节那你就看这个
下面叫我在讲到网拓扑的时候
给大家介绍简单的判断网射的方法
那么现在我们忽略细节呢你就注意这个就行了
-概述
--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
-第八章 总结--习题