论文部分内容阅读
高校设备采购本身是一项复杂的活动,是一个多任务、多角色参与的流程化执行过程。在该过程中,如何合理设计所涉及到的各个环节,以及如何对各个环节进行优化和合理的资源配置是需要解决的重要问题。本文采用基于Petri网的工作流技术对高校设备采购流程进行工作流建模,并提出一种工作流合理性验证算法和工作流的优化算法。通过实践表明,这一方法取得了较好的应用效果,同时这将为采购软件的开发提供很好的理论支持。