中文摘要：

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 expression way,rich system describing means and system behavior analytical technology,and the related 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 optimization 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 instrument repair business case is modeled with XML nets.

英文摘要：

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.