最后，结合一个业务过程实例，根据转换规则把它映射为过程网，应用规则进行化简并得到验证结果。
Finally, following these rules, a procedure net example transformed from a business process is simplified, and the result is obtained.
该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部。
This method can be applied to Petri nets or subnets with inhibitor arcs and acyclic.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
在对工作流网模型的性质分析方面，提出了网系统的归约规则，将复杂的网系统归约化简后再进行分析。
As for the aspect of quality analysis for workflow net model, it proposes to simplify the complex net system by using some rules before the analysis.
在对工作流网模型的性质分析方面，提出了网系统的归约规则，将复杂的网系统归约化简后再进行分析。
As for the aspect of quality analysis for workflow net model, it proposes to simplify the complex net system by using some rules before the analysis.
应用推荐