带抑制弧Petri网极小活标识的配置
讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.
抑制弧、Petri网、结构活、极小活标识、配置算法
32
TP301.6(计算技术、计算机技术)
福建省厦门市科技计划创新项目3502Z20103027;华侨大学高层次人才科研启动项目09BS514
2012-01-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
525-528