计算机应用

作者：向寅鸿, 周恺卿, 杨森宇, 张轩宇, 康棣文

单位：吉首大学 通信与电子工程学院，湖南 吉首 416000

关键词：模糊Petri网,层次化,逆向搜索,虚库所-虚变迁对,关联矩阵

基金：国家自然科学基金资助项目(62066016);湖南省教育厅科学研究项目(22B0549);湘西州科学计划项目(州财教指［2022］5号);湖南省研究生科研创新项目(CX20231088)

模糊Petri网（FPN）是知识库系统（KBS）表示、建模与分析的主要工具之一。针对部分FPN层次结构不清晰、库所/变迁间从属关系不明确的问题，提出一种基于逆向搜索的FPN分层算法（HFPN-RS）以实现非层次化FPN到层次化FPN（HFPN）的自动转换。首先，从终结库所开始对整个FPN进行逆向搜索，将所有输入库所的前集、输出库所的后集分别划分在同一层；其次，通过添加虚库所-虚变迁对的方式明确整个模型的层次结构；同时提出两条相关定理以明确HFPN分层层数的下确界和层次化操作中需要添加的最少虚库所-虚变迁对数，并给出经层次化操作后具有完整分层结构的FPN模型关联矩阵维度计算公式。在实验部分，通过对几类各具特点的FPN模型进行层次化操作，并利用所提定理进行验证。实验结果表明，添加虚库所-虚变迁对后新FPN模型具有清晰的层次结构，为下一步FPN泛化能力等研究内容的深入提供了理论基础。

来源：2023年第12期

《计算机应用》期刊编辑部

查看计算机应用杂志2023年第12期