This method can be applied to Petri nets or subnets with inhibitor arcs and acyclic.
该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部。
youdao
应用推荐
模块上移
模块下移
不移动