工作流模型时间有界性验证与分析研究

• 作者: 李建强 范玉顺
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: 工作流模型 时间有界性 工作流网 模型分解
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 论文
• 页码范围: 770-775
• 页数: 6页
• 分类号: TP391.73
• 字数: 8024字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-5911.2002.10.004

摘要

对工作流模型分析进行了层次划分后,提出了工作流模型时间有界性的问题.从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后,利用绝大多数描述业务过程的工作流模型都具有自由选择特性的特点,提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法.在此基础上,结合工作流模型的资源视图,详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法.