论文研究-基于PI演算的网上并联审批业务流程建模及验证.pdf

【文件属性】：

文件名称：论文研究-基于PI演算的网上并联审批业务流程建模及验证.pdf

文件大小：248KB

文件格式：PDF

更新时间：2022-08-11 13:31:01

电子政务,流程建模,模型验证,PI演算,进程

首次将进程代数PI演算理论引入电子政务流程建模中，对电子政务研究中的热点、难点，即网上并联审批流程进行了形式化建模，并对所建立的模型进行了验证，确保了模型的正确性和可行性，极大地降低了项目实施投资风险。