基于petri网的工作流验证算法JAVA源码,可对工作流的结构进行验证。并给出错误信息