Petri网-3、Petri 网定义与 3.3 EN系统

柔光的暖阳◎ 2024-04-01 06:22 32阅读 0赞

### 3、Petri 网 ###

#### 3.1 Petri网定义 ####

##### 3.1.1 为什么叫Petri网 #####

![d563146e503844be98e44f5a6c0723c0.png][]

`Carl Adam Petri`( 1926—2010 )， 莱比锡。`《Communication With Automata》`1962（Phd论文: Petri网起源于此，1970’s 年代美国人学术会议首次称之为 Petri Net）

`Prof.Petri`称之为 `Net Theory`

There is no need for Net Theory to exist if there is no real application of it.
    There could be no real applications of Net Theory if there is no General Net Theory

##### 3.1.2 Petri 网定义 #####

1.  有向网
2.  以有向网为基础的网系统
3.  网系统（模型）+理论（GNT）
4.  模型+理论+应用

In order to apply net theory with success, it is by no means necessary to study
    physics, or to remember the physical interpretations of net theory.
    Just rely on the fact that every net(draw on paper) can be connected to the physical real world by a short(≤4) chain of net morphisms.
    The 4 net morphisms are:
    1. An injection: your net is, unlike the universe, not a system which is closed with respect of the flow of matter, energy and information.
    2. A refinement: Your net does not describe all the detailed elementary physical interactions, but rather, very much coarser.
    3. A breaking of the physical symmentry: your net has a definite direction for the
    execution of processes while the physical universe is time reversal invariant.
    4. An abstraction: your net is an abstract from what belongs together in your purposeful activities. You need a concept that ties things to a pragmatic unit for your mind.

反向理解 Petri 教授的话（Petri网应用）

*  一个pragmatic unit
 *  一个execution direction: from past to future
 *  一个coarsening process (concealing details)
 *  一个abstracting process (formalizing)

#### 3.2 Petri 系统层次模型 ####

1.  第一层
    
    1.  EN系统：Elementary net system，对象个体模型（人、物、信息、数据）和行动轨迹
    2.  C/E系统：Condition/event system，大自然
2.  第二层
    
    1.  P/T系统：Place/transition system
3.  第三层：高级网系统
    
    1.  Pr/T系统：Predicate/transition system
    2.  Colored net system
4.  第四层：
    
    1.  cyber net system
    2.  C\_net system

#### 3.3 EN系统 Elementary net system ####

基本网系统，定义：

∑ = ( B , E ; F , c i n ) \\sum=(B,E;F,c\_\{in\}) ∑=(B,E;F,cin) 称为EN系统，如果  ( B , E ; F ) (B,E;F) (B,E;F) 为有向网，且  c i n ⊆ 2 B c\_\{in\}\\subseteq 2^B cin⊆2B

*   2 B 2^B 2B ： B B B 的幂集合，即  B B B 的所有子集的集合
 *   B B B 中库所只有两种状态：有托肯（棋子）或无托肯。称为条件（Bedingung德语）
 *   E E E 中变迁称为事件（Event ）只与条件有关
 *   C i n C\_\{in\} Cin 由成真的条件（有托肯的库所）组成，称为E的初始情态（case）

##### 3.3.1 丛 #####

B B B 的子集  c c c，即  c ⊆ B c\\subseteq B c⊆B，称为  ∑ \\sum ∑ 的丛（constellation）

##### 3.3.2 变迁规则 #####

1.   e ∈ E e\\in E e∈E，在丛  c c c 有发生权，记为： c \[ e > c\[e> c\[e>，如果  . e ⊆ c ∧ e . ∩ c = ∅ ^.e\\subseteq c \\wedge e^. \\cap c=\\empty .e⊆c∧e.∩c=∅
2.   c \[ e > c\[e> c\[e>， c . = ( c − . e ) ∪ e . c^.=(c-^.e)\\cup e^. c.=(c−.e)∪e. 称为  c c c 的后继丛，记为  c \[ e > c ′ c\[e>c' c\[e>c′

###### 3.3.2.1 解释和不解释 ######

**例1**

*   ∑ 1 \\sum\_1 ∑1 的动态变化：周而复始的教堂婚礼，三个token代表神父（ b 0 b\_0 b0）和两位新人（ b 0 , b 1 b\_0, b\_1 b0,b1）（ T T T 不变量）
 *   b 0 , b 1 , b 2 . . . b 9 b\_0, b\_1, b\_2... b\_9 b0,b1,b2...b9 ：三位参与者的状态
 *   b 0 , b 3 , b 4 , b 9 b\_0,b\_3, b\_4,b\_9 b0,b3,b4,b9 ：神父（S不变量1）
 *   b 1 , b 3 , b 5 , b 7 b\_1,b\_3,b\_5,b\_7 b1,b3,b5,b7 ：一位新人（S不变量2）
 *   b 2 , b 4 , b 6 , b 8 b\_2,b\_4,b\_6,b\_8 b2,b4,b6,b8 ：另一位新人（S不变量3）

结构性质：不变量

基本现象：冲突，顺序，并发，同步，异步

###### 3.3.3.2 同步与异步 ######

*  同步（局部）：两组（个）事件反复发生呈现的规律
 *  同步（全局）：任何两组事件都（加权）同步
 *  异步（全局）： 没有全局控制，局部确定
 *  Petri 网是异步并发系统（局部确定，所以并发）

**例2-法官和犯人**

法官向犯人宣布

*  下周选一日执行死刑，执行前一天会向犯人宣布
 *  允许犯人预猜行刑日，只能猜一次，猜中即可获释

犯人推理：

*  周日为最后一天，不会周日执行，因为周六即可猜中，于是周六不会被选…
 *  结论：不会被处死
 *  结果：执行了
 *  ？错在哪里

用petri 网描述，体会要素和抽象

*   i = 1 , 2 , 3 , 4 , 5 , 6 , 7 i=1,2,3,4,5,6,7 i=1,2,3,4,5,6,7
 *   a t i at\_i ati：等待的犯人，周  i i i 前一日
 *   d i d\_i di ：定于周  i i i 执行， d ’ i d’\_i d’i：周  i i i 不执行
 *   g i g\_i gi：犯人猜周  i i i 执行， g ’ i g’\_i g’i ：未猜周  i i i 执行
 *   d i , d ’ i d\_i, d’\_i di,d’i：共有 7 个token ，恰有一个  d i d\_i di 有（执行日）
 *   g ’ i g’\_i g’i ：共有 7 个token ，犯人可将其中一个移入  g i g\_i gi （猜一次）
 *   e i e\_i ei：周  i i i 执行
 *   r i r\_i ri：周  i i i 释放

![在这里插入图片描述][37fb931f66ec48e3b5abd666aca42380.png]

##### 3.3.3约束弧 #####

引入约束弧，简化  ∑ 2 \\sum\_2 ∑2 为  ∑ 2 ′ \\sum'\_2 ∑2′。

![在这里插入图片描述][3baeeec4a5d94eb7be33b187a8c26b68.png]

![在这里插入图片描述][9b094df43d6b4fd190573870e2ef28a2.png]

##### 3.3.4 条件、事件的物理意义 #####

###### 3.3.4.1 条件的物理意义 ######

*  物理对象（人和物）个体的一种状态，如神父、犯人
 *  若干对象作为一个整体的状态(如对话中的神父与新娘)
 *  一位（one bit）信息的值（真或假），如  ∑ 2 \\sum\_2 ∑2 中的  d i d\_i di， g i g\_i gi
 *  作为状态的信息必须可观察（有确定的值）
 *  注意：信息系统中的一位信息和条件不同

###### 3.3.4.2 事件的物理意义 ######

*  可观察的变化：有确定的观察结果。不因观察者或观察手段而改变（不关心变化原理）
 *  原子变化：变化或发生或不发生。不会中断，无中间状态

特例：

*  a， b 1 b\_1 b1 和  b 2 b\_2 b2， b 3 b\_3 b3 和  b 4 b\_4 b4 结构上一样，非简单网
    
     *  ![在这里插入图片描述][efe6ce6c188f4340978109fc4768e5cf.png]
 *  b， e e e 不可能发生，冲撞
    
     *  ![在这里插入图片描述][3264315872a041fcae43563de67d86bd.png]
 *  c， e 3 e\_3 e3 不能发生，非单纯
    
     *   b 7 b\_7 b7 中的 token：工具或化学催化剂
     *  自用工具不必出现在模型中
     *  催化剂必须出现，但模型不能是EN系统，应该是有未知的中间状态
     *  “好”的EN系统应该是单纯的
     *  非单纯结构是不适合用EN系统描述的物理对象
     *  ![在这里插入图片描述][9c34ade86b414f20bfa7338696be2f47.png]

**例4-四季变化**

∑ 3 \\sum\_3 ∑3 是四季变化合格的EN系统吗？

![在这里插入图片描述][39a4d18f45a748e7bbbf8520157de627.png]

*  条件（状态）可观察吗？
 *  事件（季节改变）可观察吗？

合格的四季系统什么样？

![在这里插入图片描述][3df444a4d1b249bbbdcd6f2c6ef340cf.png]

*  本季为主，上一季的影子，下一季的味道
 *  满足并发（出现）公理的最小系统
 *  有向网上的完备化操作+同步距离计算

##### 3.3.5 可达情态集 #####

###### 3.3.5.1 定义 ######

###### 3.3.5.1.1 自然语言定义 ######

从  C i n C\_\{in\} Cin （初始情态）开始，经有限多个事件发生所产生的所有后继丛构成的集合称为EN系统  ∑ = ( B , E , F , C i n ) \\sum = (B, E, F, C\_\{in\}) ∑=(B,E,F,Cin) 的可达集，用  C ∑ C\_\{\\sum\} C∑ 表示。  C ∑ C\_\{\\sum\} C∑ 中的丛称为  ∑ \\sum ∑ 的情态。

*  那么初始状态算可达情态集吗？即  C i n ∈ C ∑ C\_\{in\}\\in C\_\{\\sum\} Cin∈C∑ ？

###### 3.3.5.1.2 半形式化定义 ######

2 B 2^B 2B 的子集  R R R 称为 EN系统  ∑ = ( B , E , F , C i n ) \\sum =(B,E,F,C\_\{in\}) ∑=(B,E,F,Cin) 的可达情态集，

C i n ∈ R ∧ C ∈ R ∧ ∃ e ∈ E : C \[ e > C ′ → C ′ ∈ R C\_\{in\}\\in R \\wedge C \\in R \\wedge \\exists e\\in E:C\[e>C' \\\\ \\rightarrow C'\\in R Cin∈R∧C∈R∧∃e∈E:C\[e>C′→C′∈R

，**此外  R R R 中没有别的丛**。 R R R 中的丛称为情态（case）。通常用  C ∑ C\_\{\\sum\} C∑ 表示可达情态集。

###### 3.3.5.1.3 构造法 ######

1.  令集合  R = \{ ( c i n , 0 ) \} R=\\\{(c\_\{in\}, 0)\\\} R=\{(cin,0)\} ，
2.  从  R R R 中任取  ( c , 0 ) (c,0) (c,0)，

∀ e ∈ E : ( c \[ e > c ′ ∧ \{ ( c ′ , 0 ) , ( c ′ , 1 \} ) ∩ R = ∅ → R : = R ∪ \{ c ′ , 0 \} → R : = R ∪ \{ ( c , 1 ) − ( c , 0 ) \} \\forall e\\in E:(c\[e>c' \\wedge \\\{(c',0),(c',1\\\}) \\cap R=\\empty \\\\ \\rightarrow R:=R\\cup\\\{c',0\\\} \\\\ \\rightarrow R:=R \\cup \\\{(c,1)-(c,0)\\\} ∀e∈E:(c\[e>c′∧\{(c′,0),(c′,1\})∩R=∅→R:=R∪\{ c′,0\}→R:=R∪\{(c,1)−(c,0)\}

直到  R R R 中不再有以 0 标注的  c c c 。

1.   C ∑ = \{ c ∣ ( c , 1 ) ∈ R \} C\_\{\\sum\}=\\\{c|(c,1)\\in R\\\} C∑=\{ c∣(c,1)∈R\}

###### 3.3.5.1.4 形式化定义 ######

C ∑ C\_\{\\sum\} C∑ 为可达情态集，如果  R C ( C ∑ ) RC(C\_\{\\sum\}) RC(C∑)

F R ( R ) : ⟺ R ⊆ 2 B ∧ c i n ∧ ∀ c ∈ R : ( ∃ e ∈ E ∧ c \[ e > c ′ → c ′ ∈ R R C ( C ) : ⟺ F R ( C ) ∧ ∀ C ′ : F R ( C ′ ) → C ⊆ C ′ FR(R):\\Longleftrightarrow R \\subseteq 2^B \\wedge c\_\{in\} \\wedge \\forall c \\in R:(\\exists e \\in E \\wedge c\[e>c' \\\\ \\rightarrow c' \\in R \\\\ RC(C):\\Longleftrightarrow FR(C) \\wedge \\forall C':FR(C')\\\\ \\rightarrow C \\subseteq C' FR(R):⟺R⊆2B∧cin∧∀c∈R:(∃e∈E∧c\[e>c′→c′∈RRC(C):⟺FR(C)∧∀C′:FR(C′)→C⊆C′

对于形式化定义一定要考虑 **定义的唯一性**：  
 R C ( C ) ∧ R C ( D ) → C = D RC(C) \\wedge RC(D) \\\\ \\rightarrow C = D RC(C)∧RC(D)→C=D  
证明：需要定义  C ⊆ D ∧ D ⊆ C C\\subseteq D \\wedge D \\subseteq C C⊆D∧D⊆C

定理（算法终止）：构造方法一定会终止，基本网系统中定义 因为  B B B 为有限集， 2 B 2^B 2B 也为有限集。

###### 3.3.5.2 基本现象 ######

c ∈ C ∑ c\\in C\_\{\\sum\} c∈C∑ ， e 1 , e 2 ∈ E e\_1,e\_2 \\in E e1,e2∈E， b ∈ B b\\in B b∈B

e 1 , e 2 e\_1,e\_2 e1,e2 在  c c c 有顺序关系，如果  c \[ e 1 > c ′ ∧ c ′ \[ e 2 > ∧ ¬ c \[ e 2 > c\[e\_1>c' \\wedge c'\[e\_2> \\wedge \\neg c\[e\_2> c\[e1>c′∧c′\[e2>∧¬c\[e2>

e 1 , e 2 e\_1,e\_2 e1,e2 在  c c c 有并发，如果  c \[ e 1 > ∧ c \[ e 2 > ∧ ( . e 1 ∪ e 1 . ) ∩ ( . e 2 ∪ e 2 . ) = ∅ c\[e\_1 > \\wedge c\[e\_2> \\wedge (^.e\_1 \\cup e\_1^.) \\cap (^.e\_2 \\cup e\_2^.)=\\empty c\[e1>∧c\[e2>∧(.e1∪e1.)∩(.e2∪e2.)=∅

e 1 , e 2 e\_1,e\_2 e1,e2 在  c c c 冲突（conflict），如果  c \[ e 1 > ∧ c \[ e 2 > ∧ ( . e 1 ∪ e 1 . ) ∩ ( . e 2 ∪ e 2 . ) ≠ ∅ c\[e\_1 > \\wedge c\[e\_2> \\wedge (^.e\_1 \\cup e\_1^.) \\cap (^.e\_2 \\cup e\_2^.) \\neq \\empty c\[e1>∧c\[e2>∧(.e1∪e1.)∩(.e2∪e2.)=∅

情态  c c c 之下在条件  b b b 有冲撞（contact），如果  ∃ e ∈ E : . e ⊆ c ∧ b ∈ e . ∩ c \\exists e \\in E: ^.e \\subseteq c \\wedge b \\in e^. \\cap c ∃e∈E:.e⊆c∧b∈e.∩c

###### 3.3.5.2.1 例5（参看教堂婚礼系统） ######

e 1 e\_1 e1 和  e 2 e\_2 e2 有顺序关系， e 1 e\_1 e1 和  e 3 e\_3 e3 有并发关系

![在这里插入图片描述][5ba4b6d57f8a469baab27d32723ca96e.png]

一型冲突，竞争的是资源

![在这里插入图片描述][c0b192c0954a4321a09218a846b11d11.png]

二型冲突，竞争的是空间资源

![在这里插入图片描述][8f5cf191bbcf452d97d0bb2b5c9c8f6d.png]

冲撞

![在这里插入图片描述][30509a410f9a442788eb6b0b77b89ed4.png]

##### 3.3.6 结构互补条件 #####

b 1 b\_1 b1 和  b 2 b\_2 b2 称为结构互补条件，如果一方前集后集为另一方后集前集，即  . b 1 = b 2 . ∧ b 1 . = . b 2 ^.b\_1 = b\_2^. \\wedge b\_1^.=^.b\_2 .b1=b2.∧b1.=.b2 ，例如：

![在这里插入图片描述][ad62d97f469342279960367130d65d56.png]

补操作可以将二型冲突改为一型冲突

![在这里插入图片描述][d9393fc9b27e44f98659566beb822e58.png]

不操作可以消除冲撞

![在这里插入图片描述][4d836244cd304decb9bc6c662e81020a.png]

###### 3.3.6.1 例7 ######

根据定义，b 处有一冲撞：

![在这里插入图片描述][e2afd8704c1e4df2ac22cf07ca475fa4.png]

自己跟自己争空间？观察不到的“事件”。没有必要修改定义，排除此种冲撞。

###### 3.3.6.2 思考：四季系统有初始状态吗？ ######

自然界变化无始无终，没有初态，只有当前状态，事件反向发生即可算出过去的状态。所有可能的过去、现在和未来状态构成“完全可达情态集”C。

###### 3.3.6.3 例子 ######

初始状态：

![在这里插入图片描述][d8e14004f30c421bb576169184aebd25.png]

一次变迁：

![在这里插入图片描述][1dd891e8f6464b088e184a8d31b08f06.png]

二次变迁，此时只有红色的可以发生新的变迁：

![在这里插入图片描述][f4fd9337acaa41e789881c97467547da.png]

三次变迁：

![在这里插入图片描述][a61fd70b6db64671821159eaa09c9e77.png]

四次变迁：

![在这里插入图片描述][1200127a48f24ded8c75f4df7b8e17da.png]

五次变迁：

![在这里插入图片描述][e21dec43d96f4cb89de240afea261201.png]

六次变迁：

![在这里插入图片描述][1e15a625541c4280bc2e85f985df70a8.png]

七次变迁：

![在这里插入图片描述][3d976717f9254572bfc97d493f366f00.png]

八次同第七次变迁，九次变迁：

![在这里插入图片描述][a5f358619eed4eaf859cd1157b3d3af4.png]

红的 token 只能在四个地方出现，所以会有一个 **s 不变量**，即在这四个地方的 token 的量是一个固定值，只有一个。同样黄色的两个 token 也有自己的 **基本 s 不变量**。同样，把它们几个加起来可以组成 **组合型的 s 不变量**。

**替补变量**：每一个 方格（变迁）都有自己出现的次数，比如其他的都是一次，只有下面的出现了两次：

![在这里插入图片描述][050a65a9f6a7483abad50174ef517a97.png]

这个例子可以用到教堂婚礼，红色的是神父，其他的两个是新人。

[d563146e503844be98e44f5a6c0723c0.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/0c63bd17d02b49c9bf13d9854849946b.png
[37fb931f66ec48e3b5abd666aca42380.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/b08a584350d54c188e57b88c0a664bac.png
[3baeeec4a5d94eb7be33b187a8c26b68.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/17eebb06810246d7819beea116e67f9e.png
[9b094df43d6b4fd190573870e2ef28a2.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/30e6ba5e3c454b1ca78405fb37205b5d.png
[efe6ce6c188f4340978109fc4768e5cf.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/2c240553913f429f9c8ca66be691b30c.png
[3264315872a041fcae43563de67d86bd.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/d64ab53ae5484f7e92d0ad245f9e91a4.png
[9c34ade86b414f20bfa7338696be2f47.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/2a6904cdc0ff42f38eb0c9c50a71245b.png
[39a4d18f45a748e7bbbf8520157de627.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/7d9c83288bef4810bfdc09f19fffe05f.png
[3df444a4d1b249bbbdcd6f2c6ef340cf.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/ba0d247612594b62a1a857010dfdf8ce.png
[5ba4b6d57f8a469baab27d32723ca96e.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/759366cdf1e3409287d47660bef40dad.png
[c0b192c0954a4321a09218a846b11d11.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/80b4665ea2fe4ce3939c77308ffb31e3.png
[8f5cf191bbcf452d97d0bb2b5c9c8f6d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/4a577a38a8764695ae6495f78f33d94b.png
[30509a410f9a442788eb6b0b77b89ed4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/78ebad8e29f344159e664cf9c9331e49.png
[ad62d97f469342279960367130d65d56.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/81500da73f8d4f46ac4ac47a3ddee055.png
[d9393fc9b27e44f98659566beb822e58.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/e2ae8ecda3934d8989f6feec53bc91e6.png
[4d836244cd304decb9bc6c662e81020a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/c362395903d6479096844c17bca447a0.png
[e2afd8704c1e4df2ac22cf07ca475fa4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/ebc927b402fe45d097451e10b2b5d905.png
[d8e14004f30c421bb576169184aebd25.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/37d2e0248bb74b0282ae2dace9ccbe8a.png
[1dd891e8f6464b088e184a8d31b08f06.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/3634d5e2c81b496d9beaf361a55e785e.png
[f4fd9337acaa41e789881c97467547da.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/c526ad176bed49358da5181627718d5b.png
[a61fd70b6db64671821159eaa09c9e77.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/043e97adce4e49a49181582aab4e09c5.png
[1200127a48f24ded8c75f4df7b8e17da.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/1210c92e02da47f6a92fc6afa4607cdd.png
[e21dec43d96f4cb89de240afea261201.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/5e9f9d0e702a452784c7b4b30a9d19d0.png
[1e15a625541c4280bc2e85f985df70a8.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/d0ed0c7a205f4dc698a5201182b25184.png
[3d976717f9254572bfc97d493f366f00.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/152291f11dbc4913a8d5db140c4af70b.png
[a5f358619eed4eaf859cd1157b3d3af4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/7457d13c4536479fb441432a1f6b1fb3.png
[050a65a9f6a7483abad50174ef517a97.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/01/08581c3961ad4dc1b07b65e101cb900c.png