基于Petri网的财务报销系统的建模优化

Modeling and Optimization of Financial Reimbursement System Based on Petri Net

针对某大学的财务报销系统在报销时分类不完善,对于出差人员性别不同.旅馆房间不足等各类特殊情况不能给出合理处理的情况,建立一种基于Petri网的流程模型对该问题进行优化.利用存在于模型中各变迁的行为轮廓之间的弱序关系,在不影响现有报销机制的情况下,通过Petri网实现了对该系统的优化.然后,通过新增若干个变迁,解决了该系统无法处理各类特殊情况的问题.最后通过PIPE软件对该报销系统优化后的模型进行了模拟,优化后得到的模型是安全并且有界的.

Aiming at the imperfection of the classification of financial reimbursement system of a university,the process model based on Petri net was established to optimize the problem when the gender of business travelers was different and the hotel room was insufficient.Firstly,the weak order relation among the behavioral profiles of changes in the model was studied.Without affecting the existing reimbursement mechanism,the optimization of the system was realized through Petri net,and the problem that the system could not handle special cases was solved.Finally,the model is simulated with PIPE software,and the results show that the optimized model is safe and bounded.