工作流建模分析:WF_Net、pi演算、WM_semantics

利用实例分析基于工作流网WF_Net,pi演算和工作流管理语义网WM_semantics在工作流建模过程中的优缺点,指出将以上建模理论的各自优势互相补充、合理整合,开发有效的过程建模理论,并将其应用于工作流过程模型的描述和分析是一种可行的方法。