论文相关知识：工作流网

工作流网（workflow net, WF-net）

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