您的位置： 专家智库 > >

国家重点基础研究发展计划(2004CB318001-13)

作品数：1 被引量：0H指数：0
相关作者：蒋昌俊庞善臣更多>>
相关机构：同济大学山东科技大学更多>>
发文基金：上海市科学技术委员会基础研究重点项目国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇多项式
  • 1篇多项式算法
  • 1篇流模型
  • 1篇工作流
  • 1篇工作流模型
  • 1篇工作流模型验...
  • 1篇PETRI网

机构

  • 1篇山东科技大学
  • 1篇同济大学

作者

  • 1篇庞善臣
  • 1篇蒋昌俊

传媒

  • 1篇同济大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
工作流模型验证及分解的多项式算法分析
2009年
基于工作流的Petri网结构化建模方法,证明了工作流网的T不变量和P不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.
庞善臣蒋昌俊
关键词：工作流PETRI网多项式算法
全选 清除 导出
共1页<1>
聚类工具0