工作流网络健全性问题的一些复杂性结果