これらは遷移ごとに決まる定数でありBa→b=Bb→a=Bab{\displaystyleB_{a\tob}=B_{b\toa}=B_{ab}}と仮定すれば、dNbdt=Babρ(Na−Nb){\displaystyle{\frac{dN_{b}}{dt}}=B_{ab}\rho(N_{a}-N_{b})}となる。
这就产生了一系列的数据流方程：对于每一个块b:outb=transb(inb){\displaystyleout_{b}=trans_{b}(in_{b})}inb=joinp∈predb(outp){\displaystylein_{b}=join_{p\inpred_{b}}(out_{p})}在这里，transb{\displaystyletrans_{b}}是块b{\displaystyleb}的转移函数。