针对工作流网建模过程中节点精化方法只能扩展单节点的局限性，提出一种基于Ｐｅｔｒｉ网合成规则 的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制，使其适用于自由选择工作流网的 精化，定义可分离工作流网及其保持可分离性的合成规则，证明在自由选择或可分离工作流网上应用合成 规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点，为其建模提供维度不同 且粒度更细的参考原则