化简的过程就是对模型的验证过程。

3.2.1 化简规则

规则1：如果自由选择扩展工作流网中输入输出弧都是唯一的变迁t的输入库所p i与输出库所p 0不是同一个库所，t的输入库所p i的输入变迁不为空且只有唯一的输出变迁t，则变迁t的输入输出库所可以被融合成同一个库所p(从而t被简化掉)，p的输入输出变迁分别是p i与p 0的输入变迁与输出变迁的并；

规则2：如果自由选择扩展工作流网中输入输出弧都是唯一的库所p的输入变迁t i与输出变迁t 0不是同一个变迁，p的输出变迁t 0的输出库所不为空且只有唯一的输入库所p，则库所p的输入输出变迁可以被融合成同一个变迁t(从而p被化简掉)，t的输入输出库所分别是t i与t 0的输入库所与输出库所的并；

规则3：自由选择扩展工作流网PN包含一个非负线性相关的库所p，如果；T；F\p)是连通的且包含一定数量的库所与变迁，则p可以被化简掉；

规则4：自由选择扩展工作流网包含一个非负线性相关的变迁t，如果是连通的且包含一定数量的库所与变迁，则t可以被化简掉；

规则5：如果自由选择扩展工作流网中库所p 1，p 2有相同的输入输出变迁，则可以将p 1，p 2融合成一个库所p；

规则6：如果自由选择扩展工作流网中变迁t 1，t2有相同的输入输出库所，则可以将t1，t2融合成一个库所t；

规则7：如果自由选择扩展工作流网中库所p的输入变迁与输出变迁是同一个变迁，则库所p可以被化简掉；

规则8：如果自由选择扩展工作流网中变迁t的输入变迁与输出库所是同一个库所，则库所p可以被化简掉。

3.2.2 化简过程

图7的工作流网具有自由选择的特性，由于规则1～8都是针对自由选择扩展工作流网，因此首先将图7的工作流网转换成扩展工作流网，即在该工作流网中加入变迁t，t的输入库所为终止库所，t的输出库所为起始库所，得到扩展工作流网，如图8所示，图中的横线代表变迁。

化简1：根据规则1和规则2，可以将扩展工作流网模型(图8)化简为如图9所示的模型。

图8　扩展工作流网

图9　化简1

化简2：根据规则1和规则2，将分支中的库所和变迁合并，得到如图10所示的化简2。(www.daowen.com)

化简3、化简4：根据规则3，将有相同输入输出变迁的分支化简掉，得到的化简结果如图11和图12所示。

化简5：根据规则1和规则2，化简分支，得到的化简结果如图13所示。

化简6：根据规则3，化简分支，得到的化简结果如图14所示。

化简7：根据规则1，对图14再进行化简，得到如图15所示的最终结果。

通过交替使用化简规则1～8对扩展后的多源多约束非常态控制过程工作流网进行化简，得到了只有一个变迁和一个库所的自闭环。容易看出，它符合工作流网模型的正确性标准，从而验证了本文所建立的灌溉水资源非常态控制的工作流模型的正确性。

图10　化简2

图11　化简3

图12　化简4

图13　化简5

图14　化简6

图15　化简7