工作流模型可调度性验证与分析方法

作     者：李建强 范玉顺 

作者机构：清华大学自动化系北京100084 

基　　金：国家高技术研究与发展(863)基金(2001AA415020) 国家自然科学基金(60274046) 

出 版 物：《机械工程学报》 (Journal of Mechanical Engineering)

年 卷 期：2004年第40卷第4期

页      码：93-98页

摘      要：实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。

主 题 词：工作流模型 时序依赖 时间约束 模型验证 Petri网 可调度性 制造业 

学科分类：07[理学] 080202[080202] 08[工学] 070104[070104] 0802[工学-机械学] 0701[理学-数学类] 0801[工学-力学类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3901/jme.2004.04.093

馆 藏 号：203829193...