基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。
推荐文章
基于Petri网化简技术的工作流模型合理性验证
Petri网
工作流
合理性
模型化简
改进的工作流合理性验证方法
工作流
合理性
Petri
逻辑推导
真值表
基于Petri网的工作流建模合理性验证算法
工作流模型
Petri网
合理性
验证算法
基于Petri网工作流过程模型合理性验证方法
工作流
过程建模
Petri网
合理性验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 工作流网合理性验证的矩阵实现
来源期刊 重庆理工大学学报:自然科学 学科 工学
关键词 工作流网 合理性验证 不合理检查
年,卷(期) 2012,(11) 所属期刊栏目 信息·计算机
研究方向 页码范围 75-79
页数 5页 分类号 TP301.6
字数 3690字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陈金玉 重庆大学自动化学院 31 426 10.0 20.0
2 刘川 重庆大学自动化学院 6 99 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (14)
共引文献  (35)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1998(3)
  • 参考文献(0)
  • 二级参考文献(3)
2000(3)
  • 参考文献(0)
  • 二级参考文献(3)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(3)
  • 参考文献(0)
  • 二级参考文献(3)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(3)
  • 参考文献(1)
  • 二级参考文献(2)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
工作流网
合理性验证
不合理检查
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆理工大学学报(自然科学版)
月刊
1674-8425
50-1205/T
重庆市九龙坡区杨家坪
chi
出版文献量(篇)
7998
总下载数(次)
17
总被引数(次)
41083
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导