在对工作流网模型的性质分析方面，提出了网系统的归约规则，将复杂的网系统归约化简后再进行分析。
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.
详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则。
A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.
如果已经成功地归约了start规则(在这个例子中即file)，那么可以认为解析是成功的。
If the start rule (in this case, file) has successfully reduced, the parse is considered successful.
应用推荐