我们使用一个控制台应用程序和一个连续的工作流，详细解释了如何创建这些结构。
We use a console application and a sequential Workflow to explain in detail how to create these structures.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
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.
应用推荐