摘要
业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.
Business process modeling is one of the core of business management, and the modeling optimized analysis on business process becomes more important. The accessibility of Petri net is the basis of business system analysis and research, which mainly analyzes the status and the relation between status that system might reach. The article provided the Petri net model of business process according to frequently-used car-hailing software, and carried on the system modeling analysis on the accessibility of Petri net by combining with practical situation and the interactive relationship between procedural models, meanwhile it optimized the model by adding relative control structure for the maximum vasue of merchants and passengers. It analyzed the effectiveness of such method with practical examples.
作者
宋健
张建秋
Song Jian;Zhang Jianqiu(School of Mechanics and Photoelectric Physics, Anhui University of Science and Technology, Huainan 232001, China)
出处
《宁夏大学学报（自然科学版）》
CAS
2019年第2期151-154,161,共5页
Journal of Ningxia University(Natural Science Edition)
基金
国家自然科学基金资助项目(61402011)
