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)]
可达标识集:从M0开始包括M0,经有限步变迁发生能到达的所有标识的集合。
变迁序列:是从M0开始可以依次发生的变迁组成的序列,不是任意的变迁组成的序列。
P/T系统性质:活性、有界性、公平性。
通用分析方法
可达树与覆盖树算法
求解不变量法
化简法:忽略网结构细节
提升层次法:提高抽象度以减少节点数
小结 网模型
研究动机:
petri网是典型的局部并发系统
事件间关系:因果、并行、互斥
过程挖掘工具:ProM框架
Disco
未来研究方向:
考虑不同抽象层次
考虑时间属性
考虑语义信息
科研三要素:
基本功 好奇心 方法论