随着军事采购信息化的发展,需要处理的信息资源随之飞速增长,军事采购的过程越来越复杂,如何使用计算机对采购过程进行自动和有效的组织和管理,成为当前军事采购信息化建设迫切需要解决的重大现实问题。工作流技术能够提供对商业过程自动化的支持,近年来得到了广泛的研究和发展,已成为整合企业复杂信息环境、实现业务流程自动执行的必要工具。因此,本文从工作流技术的角度来研究军事采购系统,希望为军事采购的信息化建设提供新的思路。本文根据军事采购相关法律条例的规定,建立了军事采购总体业务的WF-net模型。该模型具有一定的通用性。军事采购因地区和组织机构不同而有一定差别,因此本文利用分层Petri网技术将总体业务流程按层次进行细化和分解,形成招标采购子系统和应急采购子系统,并分别建立了它们的WF-net模型。此方法可以隐藏子网的内部结构和详细描述,可以使整个模型具有良好的层次结构。在性质分析方面,利用了网系统的归约规则,将复杂的网系统归约化简后再进行分析,对军事采购系统的WF-net模型的正确性进行了验证。在性能分析方面,利用工作流时间性能等价公式,对应急采购子系统的WF-net模型进行了时间性能分析,并改进了现行军队应急采购的流程,减少了该系统的平均执行时间。本文以某部军事采购工作流系统项目为背景,在对军事采购等相关工作充分调研的基础上,设计出基于Petri网建模技术的符合军事采购工作实际需求的工作流模型,并进行了性质验证和性能分析,为下一步该系统的业务过程优化和项目开发提供了依据。