基于扩展Petri网的工作流建模及应用

摘要：

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性.实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量.

关键词：扩展Petri网、工作流、验证、建模

所属期刊栏目：30

分类号：TP272(自动化技术及设备)

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：106-108