The second, the assignment of minimal live marking for choice-free repetitive Petri net is transformed into the assignment of minimal live marking for the strong connective T graph.
然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。
The second, the assignment of minimal live marking for choice-free repetitive Petri net is transformed into the assignment of minimal live marking for the strong connective T graph.
然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。
应用推荐