未找到相关数据
基于Petri网化简方法的工作流模型验证
被引：145
作者：
李建强
范玉顺
机构：
[1] 清华大学自动化系,清华大学自动化系北京,北京
来源：
关键词：
经营过程重组;
工作流分析;
Petri网;
模型化简;
D O I：
暂无
中图分类号：
TP15 [自动模拟理论（自动仿真理论）];
学科分类号：
080201 [机械制造及其自动化];
摘要：
经营过程的建模、分析与优化是支持企业经营过程重组 (BPR)的重要基础 ,行之有效的模型分析方法是成功进行模型分析的重要的关键技术问题 .在深入分析了经营过程工作流模型特点的基础上 ,本文提出了一种基于 Petri网图形化简规则的业务过程模型分析与验证方法 ,证明了所提出这套化简规则的完备性和多项式时间的复杂性 .并应用一个实例证明了所提出方法的有效性
引用
收藏
页码：492 / 497
页数：6
相关论文