10.3969/j.issn.1001-2400.2015.05.018
S3PR网的可达标识集算法
针对具有特定资源库所的S3 PR网，提出了一种基于 P不变式和严格极小信标的计算可达标识集的新方法。首先计算出由 P不变式所确定的不变式标识集，再通过分析严格极小信标中相应库所的托肯数与其界的关系，提出判定标识是否为伪标识的判定定理，并基于判定定理有效求解伪标识集，最终通过剔除不变式标识集中的伪标识来获得可达标识集。实验结果表明，采用所提的方法，可以快速有效地计算出S3 PR网中的可达标识集。
Petri网、严格极小信标、P不变式、可达标识集、死锁控制
TP271+8(自动化技术及设备)
国家自然科学基金资助项目51305325；中央高校基本科研业务费专项资金资助项目XJS15039
2015-11-06（万方平台首次上网日期，不代表论文的发表时间）
共5页
105-109
