流程定义的逻辑正确性判断
验证流程定义的逻辑正确性 ，即怎样判断一个流程的逻辑定义是否正确，求方法。

[解决办法]
即使是万能的热内也不可能判断流程正确性，只能找出bug。但是找不出bug并不代表着就正确。
[解决办法]
找个有经验的老师傅帮你看下吧