研究文章

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

图3

并发/并行性。