上传者: 42186387
|
上传时间: 2022-04-24 12:57:52
|
文件大小: 47.22MB
|
文件类型: PPT
petri网的状态空间
定义9。设C=(P, T, I, O)是一个petri网,下一个状态函数δ: Nn ×T在作标志μ和转移tj∈T是有定义的,当且仅当对所有pi∈P,
μ(pi) ≥ #(pi, I(tj))
如果δ(μ, tj)是有定义的,则μ’=δ(μ, tj) ,其中对所有pi∈P,
μ’(pi)=μ(pi) - #(pi, I(tj)) + #(pi,O(tj))