Mobile businessprocess modelingusinghigh level Petri nets

作     者：车海莺 高慧颖 鞠彦兵 

作者机构：School of SoftwareBeijing Institute of Technology School of Management and EconomicsBeijing Institute of Technology 

出 版 物：《Journal of Beijing Institute of Technology》 (北京理工大学学报（英文版）)

年 卷 期：2014年第23卷第3期

页      面：368-374页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Supported by the Beijing Natural Science Foundation(9133020) the National Natural Science Foundation of China(70972007) National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180) Beijing Municipal Natural Science Foundation(9102015) 

主　　题：mobile business process modeling Petri nets XML nets instrument business process 

摘      要：This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.