研究文章

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

表1

小日志。

tr1: (一个, b, d, c, b)
tr2: (b, d, d)