基于逻辑Petri网的循环选择驱动循环结构过程模型修复方法

刘伟, 薄玉娟, 杜玉越, 孙红伟

PDF(1279 KB)
PDF(1279 KB)
山东科技大学学报(自然科学版) ›› 2023, Vol. 42 ›› Issue (06) : 75-84. DOI: 10.16452/j.cnki.sdkjzk.2023.06.009

基于逻辑Petri网的循环选择驱动循环结构过程模型修复方法

  • 刘伟, 薄玉娟, 杜玉越, 孙红伟
作者信息 +
History +

摘要

模型修复是一种过程增强技术。现有模型修复方法较少考虑含间接依赖关系的过程模型,在表示结构间的间接依赖关系时存在不足,修复含循环选择驱动循环结构的模型时难以描述结构间的间接依赖关系。本研究基于逻辑Petri网,针对循环选择驱动循环结构,提出在修复循环选择驱动循环结构的同时可以表达结构间的间接依赖关系的方法。在从日志中获取循环序列和选择序列算法的基础上,通过定理确定模型与日志是否存在偏差并找到偏差位置;根据不同结构提出修复算法修复模型,并使用关联规则描述结构间的间接依赖关系;最后通过实验证明方法的可行性。

关键词

间接依赖关系 / 逻辑Petri网 / 循环结构 / 过程模型 / 修复方法

中图分类号

TP311.52 / TP301.1

引用本文

导出引用
刘伟, 薄玉娟, 杜玉越, 孙红伟. 基于逻辑Petri网的循环选择驱动循环结构过程模型修复方法. 山东科技大学学报(自然科学版). 2023, 42(06): 75-84 https://doi.org/10.16452/j.cnki.sdkjzk.2023.06.009

基金

教育部人文社科规划基金项目(23YJAZH084); 青岛市社会科学规划项目(QDSKL2201131); 山东省教育教学研究重点课题(2023JXZ001)

评论

PDF(1279 KB)

Accesses

Citation

Detail

段落导航
相关文章

/