S-不变量求取的多项式算法

摘要：

首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间內判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度內求取部分极小支集上S-不变量的STRC算法。

关键词： Petri网 S-不变量 STRC算法 多项式算法

作者: 鲁法明 吴哲辉

作者单位: 山东科技大学信息科学与工程学院,青岛 266510

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 29-32

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）