The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。
The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。
应用推荐