基于Petri网的网约车系统建模优化
|
摘要
业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.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.
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.
引文
[1] 吴哲辉.Petri网理论[M].北京:机械工业出版社,2006:6-22.
[2] WEIDLICH M,MENDLING J,WESKE M.Efficient consistency measurement based on behavioural profiles of process models[J].IEEE Transactions on Software Engineering,2011,37(3):410-429.
[3] ARMAS-CERVANTES A,BALDAN P,DUMAS M,et al.Diagnosing behavioral differences between business process models:An approach based on event structures[J].Information Systems,2016,56:304-325.
[4] SMIRNOV S,WEIDLICH M,MENDLING J.Business process model abstraction based on behavioral profiles[M]//Service-Oriented Computing.Springer Berlin Heidelberg,2010:1-16.
[5] WEIDLICH M.Behavioural profiles:A relational approach to behaviour consistency[J].Journal of Biological Chemistry,2011,269(36):22847-52.
[6] 曹斌,王佳星,范菁,等.基于Petri网的流程间元素映射方法[J].软件学报,2015,26(3):474-490.
[7] 赵杨,李彤,柳青.一种基于扩展Petri网的软件过程模型性能分析方法[J].计算机工程与应用,2004,40(26):70-72.
[8] FANG Xianwen,WU Junzhi,LIU Xiangwei.An optimized method of business process mining based on the behavior profile of Petri nets[J].Information Technology Journal,2014,13(1):86-93.
[9] KALENKOVA A A,LOMAZOVA I A.Discovery of cancellation regions within process mining techniques[M].IOS Press,2014,133(2/3):197-209.
[10] AALST W M P,REIJERS H A,WEIJTERS A J M M,et al.Business process mining:An industrial application[J].Information Systems,2007,32(5):713-732.
[11] 赵娟.基于Petri网配置的合并模型变化域分析方法研究[D].淮南:安徽理工大学,2015.
[12] WANG Shouguang,ZHOU Mengzhou,LI Zhiwu,et al.A new modified reachability tree approach and its applications to unbounded Petri nets[J].IEEE Transactions on Systems Man & Cybernetics Systems,2013,43(4):932-940.
[2] WEIDLICH M,MENDLING J,WESKE M.Efficient consistency measurement based on behavioural profiles of process models[J].IEEE Transactions on Software Engineering,2011,37(3):410-429.
[3] ARMAS-CERVANTES A,BALDAN P,DUMAS M,et al.Diagnosing behavioral differences between business process models:An approach based on event structures[J].Information Systems,2016,56:304-325.
[4] SMIRNOV S,WEIDLICH M,MENDLING J.Business process model abstraction based on behavioral profiles[M]//Service-Oriented Computing.Springer Berlin Heidelberg,2010:1-16.
[5] WEIDLICH M.Behavioural profiles:A relational approach to behaviour consistency[J].Journal of Biological Chemistry,2011,269(36):22847-52.
[6] 曹斌,王佳星,范菁,等.基于Petri网的流程间元素映射方法[J].软件学报,2015,26(3):474-490.
[7] 赵杨,李彤,柳青.一种基于扩展Petri网的软件过程模型性能分析方法[J].计算机工程与应用,2004,40(26):70-72.
[8] FANG Xianwen,WU Junzhi,LIU Xiangwei.An optimized method of business process mining based on the behavior profile of Petri nets[J].Information Technology Journal,2014,13(1):86-93.
[9] KALENKOVA A A,LOMAZOVA I A.Discovery of cancellation regions within process mining techniques[M].IOS Press,2014,133(2/3):197-209.
[10] AALST W M P,REIJERS H A,WEIJTERS A J M M,et al.Business process mining:An industrial application[J].Information Systems,2007,32(5):713-732.
[11] 赵娟.基于Petri网配置的合并模型变化域分析方法研究[D].淮南:安徽理工大学,2015.
[12] WANG Shouguang,ZHOU Mengzhou,LI Zhiwu,et al.A new modified reachability tree approach and its applications to unbounded Petri nets[J].IEEE Transactions on Systems Man & Cybernetics Systems,2013,43(4):932-940.