基于Petri网的网约车系统建模优化

摘要

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.