Syntax correctness is easy to verify but structural correctness is difficult to verify . A structural conflict verification method of workflow mode based on graph reduction is introduced in this paper .

语法正确性比较易于证明，而结构正确性的证明则较难，本文采用了一种基于 图归约法的工作流模型结构冲突验证方法，该方法可以检测出工作流模型中存在的各种结构冲突。

The dot syntax language-building program shown below will process the various edge attributes automatically to emphasize the linkages and create the graph we defined loosely .

下面所示的dot 语法语言构建程序将自动处理不同的边属性，从而强调链接并创建定义宽松的 图形。