杜宝珠

作品数：1被引量：3H指数：1
导出分析报告
供职机构：北京理工大学更多>>
发文主题：工作流过程模型工作流化简技术模型化简PETRI网更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》更多>>
所获基金：内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网化简技术的工作流过程模型结构验证被引量：3
《计算机技术与发展》2009年第6期51-54,57,共5页徐晶明 杜宝珠 
内蒙古自然科学基金(200607010810)
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网...
关键词：PETRI网 工作流 合理性 模型化简 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部