论文部分内容阅读
讨论无冲突带抑制弧Petri网结构活性的判定条件，即证明一个结构活的网，扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性．给出一个已知结构活的带抑制弧网的极小活标识的配置算法，将网的极小活标识配置最终转化为环路中极小活标识的求解．与传统方法相比，新算法不仅易于程序实现，且时间复杂度是多项式的．