In TCPN model, the earliest firing time and the latest firing time of transition as well as the duration time of transition are accentuated.
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.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
应用推荐