Petri网导论入门学习（四）
Petri 网导论学习笔记（4）
如需学习转载请注明原作者并附本帖链接！！！
如需学习转载请注明原作者并附本帖链接！！！
如需学习转载请注明原作者并附本帖链接！！！
原创码字不易，觉得不错请一键三连吧
这篇是1.2章节的内容
(ノへ￣、)
发现网上关于Petri网的学习资源较少，这里分享的是看Petri网导论这本书的笔记（感觉相对于那个视频来说书上写的还是更详细一点，当然视频学习到第三章的笔记也会传上来，后续会主要看这本书来学习Petri网），欢迎大家来一起交流和学习，使用的学习资料是：
Petri网导论 吴哲辉著(主要)
Petri网:模型、理论与应用-清华大学
1.2 标识网与网系统
在1.1中主要比较规范的定义了Petri网的结构部分。在1.2节介绍Petri网的另一关键要素：标识 M！
这一节将学习原型Petri网的部分
定义 1.8
定义 1.8 设 N = ( S , T ; F ) N=(S,T;F) N=(S,T;F)为一个网。映射
M : S → { 0 , 1 , 2 , ⋯ } M:S\to\{0,1,2,\cdots\} M:S→{
0,1,2,⋯}
称为网 N N N的一个标识(marking)。二元组 ( N , M ) (N,M) (N,M) (也即四元组 ( S , T ; F , M ) (S,T;F,M) (S,T;F,M) )称为一
个标识网(marked net).
用图形来表示一个标识网 ( S , T ; F , M ) (S,T;F,M) (S,T;F,M)时，对 s ∈ S s\in S s∈S,若 M ( s ) = k M(s)=k M(s)=k,则在表示库所 s s s的小圆圈内加上 k k k个小黑点(当数值 k k k很大时，也可以直接写上数字 k k k),并说库所 s s s中有 k k k个标志(token)或标记。
M 里包含了每个库所所包含的“小石子数量” 如 M ( s 1 ) = 1 M(s_1)=1 M(s1)=1，表明 s 1 s_1 s1有一个小石子
定义 1.9
一个网系统(net system)是一个标识网 Σ = ( S , T ; F , M ) \Sigma=(S,T;F,M) Σ=(S,T;F,M),并具有下面
的变迁发生规则(transition firing rule):
1)对于变迁 t ∈ T t\in T t∈T,如果
∀ s ∈ S : s ∈ ∙ t → M ( s ) ⩾ 1 \forall s\in S:s\in^\bullet t\to M(s)\geqslant1 ∀s∈S:s∈∙t→M(s)⩾1
则说变迁 t t t在标识 M M M有发生权(enabled)，记为 M [ t > M[t> M[t>。
2)若 M [ t > M[t> M[t>,则在标识 M M M下，变迁 t t t可以发生(fire),从标识 M M M发生变迁 t t t得
到一个新的标识 M ′ M^\prime M′(记为 M [ t > M ′ ) M\left[t>M^{\prime}\right) M[t>M′)，对 ∀ s ∈ S \forall s\in S ∀s∈S,
M ′ ( s ) = { M ( s ) − 1 , 若 s ∈ ∙ t − t ∙ M ( s ) + 1 , 若 s ∈ t ∙ − ∙ t M ( s ) , 其他 \left.\begin{aligned}\\&M^{\prime}(s)=\left\{\begin{array}{l}M(s)-1,\:\text{若}\:s\in^{\bullet}t-t^{\bullet}\\M(s)+1,\:\text{若}\:s\in t^{\bullet}-^{\bullet}t\\M(s),\:\text{其他}\end{array}\right.\\\end{aligned}\right. M′(s)=⎩</
扫一扫
2003
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
