petri网自学(四)
系统的petri网模型
理论研究的目的在于应用。为了应用 Petri 网分析实际系统的性质,首先要建立实际系统的 Petri 网模型。一般地说,Petri 网可以描述的系统是那些由离散事件组成的系统,事件之间有一定的相互依赖关系,这种依赖关系通过系统的状态来反映。在系统的某个状态下,一个(些)事件可能发生,事件的发生将会改变系统的状态。在新的状态下,另一个(些)事件又可能发生。事件的接连发生和状态的不断变化的过程便是系统的运行。
通过几个简单的例子说明怎样用 Petri 网表示离散事件系统。
例1:化学反应
图 1.23 给出了一个含有 3 个库所 \(s_1\),\(s_2\),\(s_3\) 和一个变迁 t 的加权 Petri 网,易知从图 1.23a) 的标识经过 t 的发生可以产生图 1.23b) 的标识。如果我们用库所 \(s_1\),\(s_2\) 和 \(s_3\) 中的标志分别表示氢分子、氧分子和水分子的个数,变迁 t 表示化合反应,那么变迁 t 的发生和这个网中标识的变化反映了\(2\ce{H_2} + 2\ce{O_2} \to 2\ce{H_2O} + \ce{O_2}\)的化学反应过程。
借助含 3 个库所(\(s_1\)、\(s_2\)、\(s_3\)分别对应氢分子、氧分子、水分子个数)和一个变迁t(代表化合反应)的加权 Petri 网,呈现了化学反应\(2\ce{H_2} + 2\ce{O_2} \to 2\ce{H_2O} + \ce{O_2}\)的过程。反应前(图 1.23a),\(s_1\)、\