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