petri网是异步并发系统

petri网应用

分为四步
一个 pragmatic unit	要知道造这个干什么
一个 execution direction：from past to future	要有一个细化的过程
一个 coarsening process(concealing details)	提炼细节，不必要的过程过滤掉
一个 abstracting process(formalizing)	把抽象出来的概念形成一个整体，变成自己的模型

3.3 petri网系统

1.EN系统：

C/E系统：

2.P/T系统：

3.高级网系统：

Pr/T系统：

3.3.1 EN系统

基本现象：顺序、并行、冲突、冲撞。

补操作：

3.3.2 C/E系统 即条件/事件系统

3.3.3 P/T系统 库所/变迁系统

变迁规则：发生权和后继。

变迁外延，局部确定原理：[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8Y8ljUYE-1608779295177)(petriData.assets/1604368074023.png)]

可达标识集：从M₀开始包括M₀，经有限步变迁发生能到达的所有标识的集合。

变迁序列：是从M₀开始可以依次发生的变迁组成的序列，不是任意的变迁组成的序列。

P/T系统性质：活性、有界性、公平性。

通用分析方法

可达树与覆盖树算法

求解不变量法

化简法：忽略网结构细节

提升层次法：提高抽象度以减少节点数

小结 网模型

研究动机：

petri网是典型的局部并发系统

事件间关系：因果、并行、互斥

过程挖掘工具：ProM框架

Disco

未来研究方向：

考虑不同抽象层次

考虑时间属性

考虑语义信息

科研三要素：

基本功 好奇心 方法论