您好，欢迎访问北京市农林科学院 机构知识库！
北京市农林科学院机构知识库

全部

  • 全部
  • 标题
  • 学者
  • 机构
  • 关键词

基于矩阵模型的工作流合理性验证算法研究

文献类型： 中文期刊

作者： 高捷 1 ; 吴华瑞 2 ;

作者机构： 1.国家农业信息化工程技术研究中心

2.首都师范大学信息工程学院

关键词： Petri网;工作流网;合理性验证;矩阵;向量

期刊名称： 计算机工程与设计

ISSN： 1000-7024

年卷期： 2010 年 11 期

页码： 2621-2624+2628

收录情况： 北大核心 ; CSCD

摘要： 错误的工作流模型投入运行后对系统的破坏是非常严重的,很可能导致整个工作流系统的失败。为了提高模型的正确性和验证过程的可靠性,改进一种用于对工作流模型合理性验证的算法,将工作流网在语义上等价转化为一种完全由矩阵和向量来表示的数学模型,利用矩阵和向量的运算来验证其合理性。因此,验证过程脱离了对原有工作流网的依赖,使模型验证驱于数学化,算法更便于由计算机编程实现。

  • 相关文献

[1]批次清单结合Petri网追溯模型提高小麦粉加工过程追溯精度. 王姗姗,赵春江,钱建平,吴保国,陈栋,宋英卓. 2018

作者其他论文 更多>>
置顶
购物车
反馈

© 京ICP备09089781号-29 主办单位：北京市农林科学院

学术资源： 中国农业科学院 农业专业知识服务系统 农科联盟资源共建共享平台 中国农业科技文献与信息服务平台 中国农业期刊集成服务平台