In addition, we propose a new verification method combining graphreduction and graph spread, also the algorithm of verifying process models.
另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法。
2
The verification of the model of TCPN workflow nets by means of graphreduction was mainly considered, and some graphreduction rules of flow control structure were put forward and proved.