目前国内外业务流程管理研究蓬勃发展，其中，对业务流程变化的研究是业务流程管理的核心与难点。业务流程中不同组件、任务或资源之间存在相互依赖制约的关系，变化管理需要将来自一个组件的变化传播到一些其他组件，以实现业务流程的持续迭代更新。分析业务流程的变化域和致变机理以实现变化传播，对于丰富业务流程的可信性研究具有重要的意义，在软件管理、云计算、物联网、工业互联网等领域具有实际应用价值。
本书按照“业务流程建模—变化域定位与分析方法—变化域传播机理研究一变化的优化和控制”的顺序逐层递进，详细介绍了业务流程的Petri网建模与分析方法、业务流程变化基本知识和分析技术、变化域定位和分析方法、变化致变机理和变化域传播技术、变化的优化技术和控制机制等内容，对相关研究者具有一定的参考价值。

前言
第1章 业务流程的Petri网建模与分析
1.1 业务流程概述
1.2 Petri网基础知识及性质
1.2.1 Petri网的基本概念
1.2.2 Petri网的性质
1.2.3 Petri网行为轮廓的基本概念
1.2.4 Petri网行为轮廓的性质
1.3 业务流程的控制流建模和数据流建模及分析
1.3.1 引例
1.3.2 基本概念
1.3.3 业务流程的控制流与数据流建模与分析
第2章 业务流程变化及其分类
2.1 业务流程变化概述
2.2 业务流程变化分类
2.3 业务流程变化相关研究
第3章 业务流程模型行为一致性分析
3.1 业务流程模型行为一致性概述
3.1.1 日志与模型间的一致性
3.1.2 行为一致性与交互一致性
3.1.3 一致性评价方法
3.2 基于行为轮廓和行为语义的合并模型一致性分析
3.2.1 引例
3.2.2 基本概念
3.2.3 基于匹配节点之间的行为轮廓与语义约束分析合并模型的一致性
3.2.4 实例分析
3.3 基于行为Petri网的业务流程模型一致性分析
3.3.1 引例
3.3.2 控制流和数据流的概念
3.3.3 基于行为Petri网计算行为兼容度
3.3.4 实例分析
3.4 数据约束模型的相似最优对齐一致性分析
3.4.1 引例
3.4.2 基本概念
3.4.3 数据约束模型的一致性检测算法
3.4.4 实例分析
3.5 复杂对应条件下交互行为的行为轮廓一致性分析
3.5.1 复杂对应关系的处理分析
3.5.2 基于复杂对应关系的Petri网的行为轮廓一致性分析
3.5.3 实例分析
3.6 小结
第4章 业务流程中变化域的定位
4.1 业务流程变化域定位概述
4.2 基于动作模式的寻找流程Petri网模型变化区域方法
4.2.1 引例
4.2.2 基于行为轮廓的动作模式寻找变化区域
4.2.3 实例分析
4.3 基于行为包含发现局部变化域
4.3.1 基本概念
4.3.2 基于行为包含的日志变化挖掘方法
4.3.3 实例分析
4.4 寻找数据约束下的变化域
4.4.1 引例
4.4.2 数据约束下的业务流程Petri网中的依赖关系
4.4.3 数据约束下寻找工作流Petri网的变化域
4.5 基于交互行为变迁优化的变化域分析
4.5.1 引例
4.5.2 基于交互行为变迁优化的变化域分析
4.5.3 实例分析
4.6 基于特征网的模块日志变化挖掘隐变化
4.6.1 基本概念
4.6.2 基于特征网下的模块日志变化挖掘
4.6.3 基于拟间接依赖的日志变化挖掘
4.6.4 实例分析
4.7 小结
第5章 业务流程中的变化域分析与处理
5.1 业务流程中的变化域分析概述
5.2 基于事件日志的无目标模型的变化分析
5.2.1 引例
5.2.2 基本概念
5.2.3 日志诱导下的变化分析方法
5.2.4 实例分析
5.3 基于Petri网动态切片的最小变化域分析
5.3.1 基本概念
5.3.2 基于Petri网的动态切片技术分析目标模型的最小变化域
5.3.3 实例分析
5.4 基于Petri网动力学表达式的寻找最小变化区域的分析方法
5.4.1 引例
5.4.2 基于Petri网动力学表达式寻找最小变化区域的分析
5.4.3 实例分析
5.5 基于Petri网行为和结构相似性度的业务流程变化域分析
5.5.1 引例
5.5.2 基本概念
5.5.3 基于Petri网寻找源模型和目标模型的行为和结构相似性度
5.5.4 实例分析
5.6 数据流约束下变化域分析
5.6.1 引例
5.6.2 基于行为Petri网的数据约束下变化域的分析方法
5.6.3 实例分析
5.7 小结
第6章 交互业务流程变化传播分析
6.1 业务流程变化传播概述
6.2 基于Petri网行为包含的业务流程变化传播分析
6.2.1 基本定义
6.2.2 变化域传播分析
6.2.3 实例分析
6.3 基于配置和撤销状态的业务流程变化传播分析
6.3.1 引例
6.3.2 基本概念
6.3.3 基于变化类型和变化域的配置
6.3.4 基于最小域的撤销优化
6.3.5 仿真分析
6.4 基于融合网的业务流程变化传播优劣性分析
6.4.1 融合网的生成
6.4.2 变化传播的时间成本
6.4.3 实例分析
6.4.4 计算变化传播的敏感度
6.5 小结
第7章 基于配置的业务流程变化域优化分析
7.1 基于配置的业务流程变化域优化分析概述
7.1.1 研究背景
7.1.2 配置信息分析
7.1.3 配置挖掘
7.1.4 配置优化分析
7.1.5 本章主要内容
7.2 基于配置变迁Petri网模型优化分析方法
7.2.1 基于配置变迁的变化域优化分析
7.2.2 实例分析
7.3 业务流程配置适合性检测和优化算法
7.3.1 业务流程不适合配置检测
7.3.2 业务流程不适合配置优化
7.3.3 实例分析
7.4 基于片段适配的业务模型的优化方法
7.4.1 引例
7.4.2 基本概念
7.4.3 基于Petri网优化交互业务流程模型
7.

随着移动互联网、大数
据和人工智能等技术的发展
，越来越多的企业在管理运
营方法上有了重大突破，例
如电子商务、工业互联网和
智慧工厂等。业务流程管理
是一种整合所有业务资源以
满足客户需求的方法，不仅
能管理业务流程中包含的活
动，而且能够记录流程执行
的日志，因此其在企业中发
挥着越来越重要的作用。业
务流程管理保障了企业准确
且高效的运行，对促进企业
快速发展具有深远的意义，
比如优化企业的机构体制，
合理改变企业的管理制度，
降低企业运行成本，使得企
业利润最大化。如何得到高
质量、高效率的业务流程成
为国内外相关领域的主要课
题之一。
业务流程的变化域是潜
在的、易导致业务流程系统
出现非预期行为的区域，在
单个业务流程正确的情况下
，多业务流程在交互时也会
出现变化传播的问题。关于
业务流程变化域的传播和控
制问题是业务流程系统可信
性分析的关键问题之一。目
前已有的研究主要关注交互
业务流程模型的无死锁判定
、正确性验证、可达性分析
等，而多业务流程交互及受
外部因素影响时可能出现问
题，主要原因就是“变化域
＂的产生及传播。对于交互
流程、行为约束和数据流约
束等情况，需要研究有针对
性的定位和控制方法。
本书将以Petri网行为轮
廓理论为基础，从业务流程
的变迁（或任务）间的弱序
关系和拟序关系出发，分析
流程合理性、行为弱一致性
、行为交互相关性等，找到
变化域的产生和传播机理，
为研究业务流程系统的可信
性奠定根源性的基础。对于
存在变化域的情况，本书分
别针对复杂匹配、行为约束
、数据流约束等情况研究相
关的变化域定位及控制方法
，以有利于融合业务流程的
控制流和数据流，实现控制
流的行为可预期性和数据流
的一致性，从而提高业务流
程的可信性。本书从新的视
角研究业务流程的变化域传
播机理和控制方法，将有利
于丰富业务流程系统可信性
研究，具有较好的理论意义
和研究价值。
本书是安徽理工大学方
贤文教授课题组多年研究成
果的结晶。依托安徽省煤矿
安全大数据分析与预警技术
工程实验室，方贤文教授带
领课题组成员，开展业务流
程变化传播及控制方面的前
沿研究，取得了丰硕的成果
。全书由方贤文总体规划，
并负责第1～3章的内容撰写
工作，王丽丽和卢可分别负
责第4～5章和第6～7章的
内容撰写工作，方娜、李娟
、阚道豫、李孟瑶、郝惠晶
、毛古宝、方新升、宫子优
等做了大量的文献收集、文
字整理和校对工作。课题组
成员对本书的形成提出了许
多建议和修改意见，在此表
示由衷的感谢！
本书的出版，得到了国
家自然科学基金
（No.61572035）、安徽省
重点研究与开发计划项目（
2022a05020005）的资助，
在此一并表示感谢！
目前国内外业务流程管
理研究蓬勃发展，但在业务
流程变化传播机理方面的研
究还相对较少，且研究成果
还不系统。我课题组近年来
一直潜心此问题的研究，取
得了一些成果，受到了国内
外同行的认可。但由于水平
有限，相关的理论研究还不
够深入，甚至有些研究成果
还可能存在不准确的地方。
在此恳请国内外同行谅解，
并衷心期盼你们提出有针对
性的修改建议和有价值的研
究思路，以便于我们在今后
的研究中不断改进、不断提
高，逐步完善研究成果，丰
富业务流程可信管理研究。
编者
2022年1月10日