【文件属性】：
文件名称：论文研究-基于PI演算的网上并联审批业务流程建模及验证.pdf
文件大小：248KB
文件格式：PDF
更新时间：2022-08-11 13:31:01
电子政务,流程建模,模型验证,PI演算,进程
首次将进程代数PI演算理论引入电子政务流程建模中，对电子政务研究中的热点、难点，即网上并联审批流程进行了形式化建模，并对所建立的模型进行了验证，确保了模型的正确性和可行性，极大地降低了项目实施投资风险。