petri网
2、有向网
三元组 N ( S , T ; F ) N(S,T;F) N(S,T;F) 称为有向网,如果
表达式含义 S ⋃ T ≠ ∅ S \bigcup T \neq \emptyset S⋃T∅非空 ⋀ S ⋂ T ≠ ∅ \bigwedge S \bigcap T \neq \emptyset ⋀S⋂T∅两类元素 ⋀ F ⊆ S T ⋃ T S \bigwedg…
3、Petri 网
3.1 Petri网定义
3.1.1 为什么叫Petri网 Carl Adam Petri( 1926—2010 ), 莱比锡。《Communication With Automata》1962(Phd论文: Petri网起源于此,1970’s 年代美国人学术会议首次称之为 Petri Net)
Prof.Petri称…
Petri net graph: Petri网用于描述和分析系统中的控制流和信息流,尤其是那些有异步和并发活动的系统。 圆圈表示位置( place ),圆圈中有标识( token )表示条件( condition )满足。线段( bar)表示变迁( transition )。一个Petri net graph如下图所示 因为…