基于约束优化的Petri网可达性FIJ模型

摘要

针对目前方法构建伪标识判定模型时,由于未能利用独立成分分析方法对Petri网中的数据特征进行提取,导致构建的可达性伪标识判定模型CPU占用率高、网络路径覆盖率低、判定效果差的问题,提出基于约束优化的Petri网可达性伪标识判定模型构建方法。方法首先利用约束优化方法对Petri网中的异常数据进行查找并剔除,依据独立成分分析方法提取Petri网的数据特征;再利用LDA算法对Petri网数据特征进行计算,获取Petri网的边界特征向量;最后基于获取的特征向量,构建Petri网可达性伪标识判定模型。实验结果表明,利用上述方法构建Petri网可达性伪标识判定模型时的CPU占用率低、网络路径覆盖率高、判定效果好。