基于petri网的流程模型中最小变化域的分析方法

为了灵活适应市场业务需求变化，确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上，通过给定的变化节点来搜索变化范围，具有一定的局限性。基于petri网方法及行为轮廓思想对业务流程模型进行分析，从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法，以及确定流程模型中最小变化域的分析方法。并给出一个具体的业务流程的实例，分析了该方法的有效性。