中文摘要：

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

英文摘要：

This paper introduced the PI-ealculus theory to the field of process modeling for the first time, and created an accurate process model for coordinated examination and approve system by means of PI-ealculus theory. Finally, verified this process model with the method based on PI-calculus theory. And the result of the verification proved that the process model was applicable and efficient for coordinated examination and approve system.