您的位置： 专家智库 > >

贾伟昊

作品数：2 被引量：6H指数：1
供职机构：清华大学软件学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇自动化与计算...

主题

  • 2篇工作流
  • 2篇工作流建模
  • 2篇PETRI网
  • 1篇信息建模

机构

  • 2篇清华大学

作者

  • 2篇张力
  • 2篇刘英博
  • 2篇赵炯
  • 2篇贾伟昊

传媒

  • 1篇计算机集成制...

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Petri网的位置敏感工作流建模与正确性验证方法
针对移动业务过程中对位置信息建模和分析的需求，结合目前已有的工作流建模方法，提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础，结合6种描述位置之间关系的原语，以位置约束的形式定义业务流程中的位...
张力赵炯贾伟昊刘英博
关键词：工作流信息建模PETRI网
基于Petri网的位置敏感工作流建模与正确性验证方法被引量：6
2012年
针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。
张力赵炯贾伟昊刘英博
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0