基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
业务过程通常在信息系统中实现之前由过程模型描述和验证.过程模型可以描述系统的特性,并通过向系统设计者提供反馈的功能来验证系统的正确性.当系统生成的事件日志中的活动与过程模型中的活动存在偏差时,需修复现有模型.对于含非自由选择结构的模型,尽管事件日志中的活动可以由现有的修复方法而得到重放,但修复后的模型往往会与原模型在结构上有很大的不同,此外,还会导致模型精确度不高且模型结构复杂.因此本文提出一种基于逻辑Petri网新的模型修复方法.首先给出了变迁对和后继关系的概念,构造出后继关系矩阵.接着通过遍历变迁对来确定模型需要修复的位置.最后通过实验验证方法的正确性和可行性.
推荐文章
FPGA 组合逻辑程序的 Petri 网建模方法
现场可编程门阵列
组合逻辑
Petri 网
建模方法
状态可达图
基于线性时态逻辑的Petri网模型检测研究
线性时态逻辑
Petri网
Büchi自动机
模型检测
MapReduce的随机Petri网模型研究
云计算
MapReduce
随机Petri网
建模
性能分析
基于Petri网和逻辑电路的网络安全验证
安全验证
Petri网
逻辑电路
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 逻辑Petri网非自由选择结构模型修复方法
来源期刊 软件 学科 工学
关键词 过程挖掘 非自由选择结构 逻辑Petri网 偏差 模型修复
年,卷(期) 2020,(1) 所属期刊栏目 设计研究与应用
研究方向 页码范围 220-225,249
页数 7页 分类号 TP3
字数 6028字 语种 中文
DOI 10.3969/j.issn.1003-6970.2020.01.048
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 于先波 山东科技大学计算机科学与工程学院 2 0 0.0 0.0
2 张志豪 山东科技大学计算机科学与工程学院 2 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (84)
共引文献  (41)
参考文献  (9)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1977(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(3)
  • 参考文献(0)
  • 二级参考文献(3)
1998(4)
  • 参考文献(0)
  • 二级参考文献(4)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(3)
  • 参考文献(0)
  • 二级参考文献(3)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2011(17)
  • 参考文献(1)
  • 二级参考文献(16)
2012(15)
  • 参考文献(0)
  • 二级参考文献(15)
2013(16)
  • 参考文献(0)
  • 二级参考文献(16)
2014(12)
  • 参考文献(0)
  • 二级参考文献(12)
2015(6)
  • 参考文献(6)
  • 二级参考文献(0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
过程挖掘
非自由选择结构
逻辑Petri网
偏差
模型修复
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件
月刊
1003-6970
12-1151/TP
16开
北京市3108信箱
1979
chi
出版文献量(篇)
9374
总下载数(次)
40
总被引数(次)
23629
论文1v1指导