Video在线视频

同学们大家好

今天呢我给大家讲

Petri网这门课

我们这门课呢是叫Petri网

也可以叫Petri网原理

也可以说是Petri网原理与应用

主要的内容呢有三部分

一个是模型 一个是理论 一个是应用

只有模型没有理论用不好

那么应用是验证我们这个模型的作用

模型的这个powered一个很好的试金石

我们教材呢是Petri网应用

是我写的一本书

2013年科学出版设出的

Petri网呢需要的基础知识并不很深

它需要基础知识呢

就是离散数学

和计算机软件的一些知识

基础知识就够了

我们讲内容有模型 理论

和应用这三部分

模型是什么呢

是描述物理世界的数学系统

我们要讲的是它的结构

它的系统的性质

以及系统性质的分析方法

理论呢就是从模型

我们回到宇宙这个基本的物理现象

包括并发顺序 冲突等等

然后有了这个模型作为工具来描述

有了理论的支持

我们可以用来

解决我们的应用问题

网论的模型这是Petri网

文献里面常见的术语

就是这个叫做Special Net Theory

我给它翻译成网模型论

另外一个理论部分呢叫做通用网论

叫做General Net Theory

这是这个大家常见的我说一下

所谓Special Net Theory包括了

有向网和网系统

因为有向网是模型的基础

在有向网上面加上资源的分布

加上动态的规则

就变成一个网系统

另外这个有向网呢

我们把它做为一个棋盘它有结构

就像象棋啊围棋啊的棋盘

都有一定的结构

但是有向网的结构呢

是没有一个固定的棋盘

所以不同的棋盘有不同的结构特征

我们要研究它的结构特征

结构的性质

然后网系统呢

是在这个棋盘上面加上资源分布

就变成一个棋局

那么我们要研究的是它的动态性质

以及动态性质的分析方法

和这个网系统的层次结构

同时我们是借助Special Net Theory

描述的自然现象

来描述我们在应用过程当中

可能遇到的东西

它具有普适性

就是不局限在某一个领域

它的主要内容有五部分

一个叫做Synchrony是同步论

研究这个事件的同步

以及对同步的一个定量的描述

第二部分呢叫做并发公理

并发公理呢

是帮助我们对并发现象

有一个准确的认识

现在的软件当中对并发

没有一个准确的定义

所以往往会有误解

我下面会讲到这个

第三部分呢叫做Enlogy

Enlogy这个词是一个拼出来的词

你在词典上查不着

我给它翻译成网逻辑

就是一个系统里面我们往往关注于

有发生权能够发生的事情

而Enlogy呢关注的是不能发生的事情

因为一个系统里面什么事情不能发生

它也是这个系统的性质

比方说我们这个社会

吸毒这些现象都可以发生

但是在若干年以前它是不能发生的

这就是社会和社会呢有一个区别

所以无发生权的事件

也代表了系统的性质

这一部分讲的就是这个

怎么用这些无发生权的事件

来进行推理

推导出这个系统的性质

第四部分呢

叫做Net Topology叫网拓扑

网拓扑呢是沟通离散和连续的

一个有利的工具

网拓扑跟我们传统的

连续拓扑是不一样的

那么数学里面有纯数学有离散数学

网拓扑呢是沟通这两者的一个桥梁

这个不过我会讲但是不会细讲

最后一部分是Information Flow Net

就是信息流网

信息流网呢就是描述信息

在一个信息元件当中

是怎么样流动的

这个信息流网呢它具有一个特点

就是具有可逆性

咱们的计算机系统

你如果一个程序运行了有了结果以后

你就回不去了

不知道我是从什么地方来的

因为它其中有信息的丢失

而我们的信息流网

你如果用信息流网

来描述一个信息系统的话

它是可逆的

你如果发现错了你倒着运行回去

就可以恢复到它的原状

所以不会有信息的丢失