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