Text this: 随机Petri网同步并发行为的定量分析方法