当前课程知识点:Petri网:模型、理论与应用 >  第三章 Petri网 >  3-8 化简网系统 >  Video

返回《Petri网:模型、理论与应用》慕课在线视频课程列表

Video在线视频

Video

下一节:Video

返回《Petri网:模型、理论与应用》慕课在线视频列表

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级

这个呢就是网射

那么你如果遵循这个的话

直观上你不要去追究网拓扑的细节那你就看这个

下面叫我在讲到网拓扑的时候

给大家介绍简单的判断网射的方法

那么现在我们忽略细节呢你就注意这个就行了

Petri网:模型、理论与应用课程列表:

第一章 概述

-概述

--Video

第二章 有向网

-有向网

--Video

第三章 Petri网

-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

--R of ARM:物理对象相关性

--R of ARM:同步器回顾

--R+M of ARM:业务逻辑

--M of ARM:化简规则

--R+M of ARM:案例语义

--R+M of ARM:管理逻辑

--M of ARM:BPMA

-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

-第八章 总结--习题

Video笔记与讨论

也许你还感兴趣的课程:

© 柠檬大学-慕课导航 课程版权归原始院校所有,
本网站仅通过互联网进行慕课课程索引,不提供在线课程学习和视频,请同学们点击报名到课程提供网站进行学习。