数学问题在工程
研究文章

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

图6

可达性分析。