您的位置： 专家智库 > >

刘玉平

作品数：2 被引量：7H指数：1
供职机构：内蒙古科技大学工程训练中心更多>>
发文基金：内蒙古自治区自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇流模型
  • 1篇模型化
  • 1篇模型化简
  • 1篇化简
  • 1篇化简技术
  • 1篇工作流
  • 1篇工作流模型
  • 1篇PETRI网

机构

  • 1篇内蒙古科技大...

作者

  • 1篇靳荣
  • 1篇赵军富
  • 1篇马胜梅
  • 1篇刘玉平

传媒

  • 1篇微计算机信息

年份

  • 1篇2009
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Petri网化简技术的工作流模型合理性验证被引量：7
2009年
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程。
赵军富靳荣马胜梅刘玉平
关键词：PETRI网工作流模型化简
全选 清除 导出
共1页<1>
聚类工具0