研究文章

角色的随机Petri网(SPN)过程中发现进行建模和分析

表3

tr 2:两种可能的排列。

日志 B d d
模型 一个 τ B d τ τ
t一个 t1 tb td t2 t3