互联网的发展,信息技术和网络技术的日趋成熟,给我国政府采购带来了很大的挑战。传统的政府采购,信息化程度低,采购流程十分繁琐,导致政府采购效率低下,浪费了很多资源。随着信息技术和计算机技术的发展,利用电子商务实现电子化政府采购,是政府采购的一个重要发展趋势。目前,虽然很多城市和地区建立了政府采购网站,但是由于现实条件的限制,很多政府采购只是实现了政府采购信息的公布及电子化办公,还没有实现真正意义上的电子化采购。政府采购流程一般是基于预先定义好的业务过程设计的,政府采购流程不够柔性化和智能化,且流程的执行是线性的,缺乏反馈。而现实中的业务是动态的,是变化的。因此,目前的政府采购流程难以满足现实业务的要求,很难实现政府采购流程从申报到资金结算的集成以及参与者之间的通信与合作。Agent和多Agent系统已经成为目前IT界解决复杂系统问题的强大技术,在软件行业取得了成功的应用。本文引入Agent思想,基于Agent技术基础,提出基于Agent的电子化政府采购流程,对实现政府采购流程的智能化和柔性化具有一定参考价值。首先,本文分析了政府采购、Agent、Petri网和有限自动机的研究现状和相关理论,指出了Agent具有反应性、学习性、主动性、移动性、适应性、自治性、社会性等特性。将Agent技术应用到政府采购流程中,能够实现流程的柔性化和智能化。然后,介绍了形式化表示方法,并对目前存在的形式化表示方法进行了对比介绍,提出本文采取Petri网和有限自动机的原因。通过对比分析,指出利用Petri网和有限自动机相互结合的方法对政府采购流程进行形式化表示的特色与优点,并对Petri网和有限自动机的基本理论进行了阐述。同时,对政府采购流程进行分析,提取政府采购流程的基本要素并对这些要素进行形式化表示。接着,提出将Petri网和有限自动机相结合的方法,对政府采购流程进行了形式化表示。从宏观角度,在基于Petri网的基础上,对政府采购流程从开始申报到最终资金结算进行形式化表示,直观易懂,同时也能够表示流程的静态特点和动态特性。在微观角度,引入有限自动机理论,详细具体的表示多Agent之间的并发任务和交互行为,主要选取政府采购流程中的关键阶段——审批阶段和评标阶段,做详细阐述。最后,总结全文,指出本文的主要工作和不足之处,对未来政府采购流程的研究和形式化表示方法进行展望。