A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.
详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
Graph reduction algorithm is a practicable one.
图规约算法就是一种实际可行的算法。
This paper presents a design of an intelligent memory system (IMS) for our Parallel Graph Reduction (PGR) machine.
本文介绍了并行图归约（PGR）机中智能存储系统的设计方案。
This paper presents a design of an intelligent memory system (IMS) for our Parallel Graph Reduction (PGR) machine.
本文介绍了并行图归约（PGR）机中智能存储系统的设计方案。
应用推荐