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

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