基于Petri网的高校网上预约报销系统的建模与优化

方新升， 刘祥伟

( 1.安徽理工大学 数学与大数据学院； 2.安徽理工大学 经济与管理学院: 安徽 淮南 232001 )

0 引言

Petri网由于可以用图形化的方式描述业务流程中的每一个活动，使人们可以直观地发现流程中所存在的问题，因此它在众多领域中得到应用.例如：文献[1]使用Petri网对云制造的相关流程进行了建模分析，并通过实例证明了该模型的有效性；文献[2]提出了一种将分布式锁与Petri网结合的方法，该方法可以简化锁的管理过程；文献[3]针对入侵检测流程，提出了一种将面向对象和Petri网相结合的检测方法，并通过实验证明了该方法可以有效降低检测的误警率；文献[4]提出了一种具有优先权Petri网模型，并通过实例证明了该模型具有实时处理新数据的能力；文献[5]提出了一种将离散Petri网和连续Petri网相结合的Petri网，并通过对比模型间的误差变化验证了该模型的合理性；文献[6]提出了一种分布式模糊推理Petri网，并通过仿真实验证明了该Petri网可显著降低系统的负载；文献[7]针对行为等价的不恰当性，提出了一种基于行为轮廓的一致性对齐概念，并通过推导和计算证明了一致性在模型对齐中的作用.近年来，随着计算机网络技术的不断发展，国内大部分高校的财务部门已开始使用网上预约报销系统进行报账.为了提高高校财务部门网上预约的报账效率，一些学者对其进行了研究，如章杰文等[8]使用作业成本法设计了一种高校网上预约报销系统，但目前还未……