上一条： 基于Petri网的柔性制造系统混惑检测与控制

下一条： An algorithm for the minimum initial marking problem of a structurally live Petri net with inhibitor arcs