翟鹏珺，王丽丽，刘祥伟

(安徽理工大学 理学院，安徽 淮南 232001)

基于Petri网的支付流程模型优化分析

翟鹏珺，王丽丽，刘祥伟

(安徽理工大学 理学院，安徽 淮南 232001)

目前业务流程模型优化是业务流程管理的核心内容之一，对于购物支付流程模型的优化是涉及顾客和商家利益的关键。目前已提出了一些相关的支付流程模型优化方法，但较少综合考虑各种类型的支付方式，以优化支付模型使得购物最大利益化为目的，提出了基于Petri网的购物支付流程模型优化分析方法。首先结合支付的实际情况，通过分析流程模型中活动间间接的交互关系，查找源流程模型存在的问题。然后在保证支付行为合理性的情况下，通过增加相关的控制结构对其进行优化。最后通过实例分析该方法的有效性。

Petri网；支付流程；优化；行为

1 介绍

目前流程模型管理已经显现出其在各个业务领域中所发挥的重要作用，它不仅能保证企业的正常运行，还对企业的运行有指导意义，例如提高企业对市场要求的服务效率、降低运行成本，使得企业利润最大化等。因此，怎样对流程模型进行优化从而获得高质量、高效率的模型成为了国内外关注的研究课题。

基于Petri网构建流程模型能够清晰地表现出业务行为的逻辑性和有序性，因此，建模的语言和建模的原理就成为了建立流程模型的重要工具。建模的语言为其提供了语法，语义和建模的标准，如BPMN，EPCs，UML和BPEL[1,2]，建模原理则给出了建模语言所需的形式化的程序。……