霍金健
- 作品数：8 被引量：5H指数：2
- 供职机构：北京大学信息科学技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 库所组合有色网-一种新型的有色网
- 为了解决用Petri网描述复杂系统时出现的'节点爆炸'问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组...
- 霍金健袁崇义屈婉玲
- 关键词：PETRI网
- 文献传递
- 基于Petri网的工作流仿真原理及实现
- 基于工作流的分层模型,本文首先讨论了手工模拟的策略。然后考察了三个因素对于工作流性能的影响,即:（1）期许的市场需求;（2）根据业务流程定义的规范说明的结构;（3）必需的资源和每个活动变迁所期许的操作时间。并进一步讨论了...
- 霍金健袁崇义屈婉玲
- 关键词：PETRI网工作流仿真调度策略
- 最小生成树问题在RMESH上的常数时间算法
- 2006年
- 提出了在n2×mn2的RMESH模型上常数时间的最小生成树算法,并根据PRAM模拟RMESH的结论,得到了在PRAM上O(logn)时间的最小生成树算法。这2个并行算法的时间复杂度都是当前最好的。
- 陈鹏霍金健张立昂
- 关键词：最小生成树
- 工作流分层模型的PNML表示被引量：3
- 2005年
- PNML是一种基于XML的Petri网交换格式,在工作流引擎内部使用PNML表示业务流程的模型,可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性.为此需要先定义新的标签,然后给出新的Petri网类型定义,最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型.借助PNML表示,实现的工作流引擎工具具有很强的扩展性,能够和其他支持PNML的工具进行数据交换.
- 霍金健黄雨屈婉玲袁崇义
- 关键词：PETRI网PNML扩展性
- 基于Petri网的工作流语义研究
- 工作流管理技术能有效的解决由于电子政务流程管理中的问题。本文将介绍工作流技术的理论基础,提出了一套基于Petri网的分层建模方案,并重点讨论工作流的语义选择在消解任务冲突时的方法。
- 霍金健袁崇义屈婉玲
- 关键词：PETRI网冲突消解
- 文献传递
- SimNet——一种新型的工作流仿真模型
- ＜正＞1 引言在工作流模型分析方面的研究已经取得了一定的成果。文[1]中指出了工作流模型分析的不同方式,并把工作流模型的分析方法基本上分为三种类型:确认（Validation）、验证（Verification）、性能分析
- 霍金健徐春香屈婉玲袁崇义
- 关键词：WORKFLOW
- 文献传递
- 库所组合有色网-一种新型的有色网被引量：2
- 2005年
- 为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.
- 霍金健袁崇义屈婉玲
- 关键词：PETRI网
- 基于Petri网的工作流仿真模型与实现
- 本文研究和实践的主要工作是工作流仿真，主要包括：1.基于工作流分层模型，提出了工作流仿真模型，并研究了几个影响业务流程性能的因素，同时给出了几种关键性能指标(KPI)的计算方法，如(平均)流程周期、吞吐率和(平均)资源使...
- 霍金健
- 关键词：业务流程管理
