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