工作流网(workflow net, WF-net) 这里有的定义和定理证明好几个地方没太看懂,感觉那个写笔记的人没有写全,或者是我的智商不够用了,等我自己读(Diagnosing Workflow Process using Wolfan)这篇文章的时候在回过头来看看吧。目前几个没理解的地方都用红笔记录下来了。