petri网
1、概论
1.1 网模型论
Special Net Theory(SNT),包括 有向网+网系统。
- 有向网(棋盘):研究结构特征,结构性质
- 网系统(棋局):动态性质,分析方法,层次结构
1.2 通用网论
General Net Theory(GNT),借助SNT描述自然现象,具有普适性
- Synchrony(同步论,同步距离)
- Concurrency(并发公理,无传递性)
- Enlogy(网逻辑,无发生权事件)
- Net Topology(网拓扑,无向图,离散和连续)
- Information Flow Net(信息流网,可逆信息元件)