【Petri网学习笔记】第一章概述+第二章有向网（个人用）

发现网上关于Petri网的学习资源较少，这里打算主要是分享个人看网课顺便记的笔记，可能会记得比较粗糙，如果后续有空会对里面内容进行检查和更新，也欢迎大家来一起交流和学习，使用的学习资料是：

1. Petri网导论 吴哲辉著
2. Petri网:模型、理论与应用-清华大学
   点我观看
   

如需转载本系列文请注明出处和链接！

Petri前言概述

网模型论：Special Net Theory(SNT)

SNT = 有向网+网系统

有向网（棋盘）：结构特征，结构性质

网系统（棋局）：动态性质、分析方法、层次结构

通用网论：General Net Theory(GNT)

（借助SNT描述自然现象，具有普适性

Synchrony（同步论，同步距离）

Concurrency（并发公理，无传递性）

Enlogy（网逻辑，无发生权事件）

Net Topology（网拓扑、无向网，离散和连续）

Information Flow Net（信息流网，可逆信息元件）

有向网

三元组$N=（S,T;F）$称为有向网，如果

非空 两类元素 两种关系 无孤立元素

在有向网中，可以使用三元组$N=(S,T;F)$来描述，其中：

• S 是顶点的集合。
• T 是边的集合。
• F 是一个映射，定义了每条边的起点和终点。

具体描述

• dom（定义域）：对于一条边 t∈T，dom(t) 表示边的起点。
• cod（值域）：对于一条边 t∈T，cod(t) 表示边的终点。

无孤立元素

确保每个顶点 s∈S 至少是某条边的起点或终点，即：

• 对于每个 s∈S，存在至少一个 t∈T 使得 s=dom(t) 或 s=cod(t)。

这种描述方式能够清晰地定义有向网中顶点和边的关系以及连通性。

形式化定义

$$dNet(S,T;F):\iff$$
$S\cup T\ne \varnothing$
$\wedge S\cap T=\varnothing$
$\wedge$ F$\subseteq S\times T\cup T\times S$
$\wedge dom(F)\cup \text{cod}(F)=S\cup T$

单纯√ 简单√ 重复x

有限网

人造系统：能力有限

自然规律（如四季变化）：局部观察

无限网

记录无始无终的自然变化

基础概念定义金律

没有必要包含的，就有必要不包含

有向网的定义不包含：连通性 单纯性 简单性 有限性

后续概念1：有向网分类

$N=(S,T;F)$为有向网

$N$为简单网，如果$\forall x,y\in X:$ $\dot{x}=\dot{y}\Lambda x^{\prime }=y^{\prime }\Rightarrow x=y$

$N$为单纯网，如果$\forall x\in X:$ $\forall x\cap x^{\prime }=\varnothing$

$N$为连通网，如果$\forall x,y\in X:(x,y)\in (F\cup F^{-1}{)}^{+}$
其中$F^{-1}=\{(a,b)|(b,a)\in F\}$

$N$为有限网，如果$|S\cup T|<\infty$

后续概念2：有向网关联

$$\begin{gathered} N=(S,T;F){\text{,N}}^{\prime }=(S^{\prime },T^{\prime };F^{\prime })\text{为有向网} \\ N{\text{和N}}^{\prime }{\text{为对偶网,如果S}}^{\prime }=\text{ T }\wedge T^{\prime }=S\wedge F^{\prime }=F \\ N{\text{和N}}^{\prime }{\text{为互逆网,如果S}}^{\prime }=\text{ S }\wedge T^{\prime }=T\wedge F^{\prime }=F^{-1} \end{gathered}$$