A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.展开更多
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 XM...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.展开更多
To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the ...To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.展开更多
Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod...Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.展开更多
A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the ph...A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.展开更多
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit...In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.展开更多
过程现场网络(PROFINET)是一个开放式的工业以太网通信协议,是在全球应用广泛的工业现场总线技术之一。为了更有效地应用PROFINET技术,研究了基于PROFINET的以太网高级物理层(Ethernet-APL)控制系统。随着工业以太网的应用在工业网络市...过程现场网络(PROFINET)是一个开放式的工业以太网通信协议,是在全球应用广泛的工业现场总线技术之一。为了更有效地应用PROFINET技术,研究了基于PROFINET的以太网高级物理层(Ethernet-APL)控制系统。随着工业以太网的应用在工业网络市场中占据绝对优势,Ethernet-APL技术得以问世。Ethernet-APL支持包括PROFINET在内的高级别工业以太网。PROFINET over高级物理层(APL)是PROFINET工业通信标准中的一项技术,使PROFINET能够进入工厂的现场区域。随着2019年过程自动化(PA)profile V4.0配置文件的发布,PROFINET作出了一些改变,使PROFINET技术能融入Ethernet-APL体系。同时,德国巴斯夫公司等大型企业早就开始对Ethernet-APL技术进行评估测试,促使PROFINET over APL技术投入实际应用,并在中国巴斯夫一体化特大型石化项目中全面采用该技术。这也将促进中国Ethernet-APL技术向更深层次发展。展开更多
中小企业集群通过资源整合与协同创新,显著提升区域经济活力,其灵活性和适配性成为提升产业链韧性的重要支撑。然而,现有协同方法多聚焦建模优化,难以检测死锁与不可达等运行问题,导致流程效率低下与成本攀升。针对这一瓶颈,本文提出双...中小企业集群通过资源整合与协同创新,显著提升区域经济活力,其灵活性和适配性成为提升产业链韧性的重要支撑。然而,现有协同方法多聚焦建模优化,难以检测死锁与不可达等运行问题,导致流程效率低下与成本攀升。针对这一瓶颈,本文提出双维业务流程整合模型,通过PD-net(Petri Net with Data)共享合成技术实现企业集群业务逻辑与数据流程的协同,同时基于守卫条件驱动的可达图实现模型的可达性验证。展开更多
文摘A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of an infinite Petri net. To prove properties of an ideal communication protocol, we derive an infinite Diophantine system of equations from it, which is subsequently solved. Then we present the programs htgen and ht-mcrl2-gen, developed in the C language, which generate Petri net and process algebra models of a hypertorus with a given number of dimensions and grid size. These are the inputs for the respective modeling tools Tina and mCRL2, which provide model visualization, step simulation, state space generation and reduction, and structural analysis techniques. Benchmarks to compare the two approaches are obtained. An ad-hoc induction-like technique on invariants,obtained for a series of generated models, allows the calculation of a solution of the Diophantine system in a parametric form.It is proven that the basic solutions of the infinite system have been found and that the infinite Petri net is bounded and conservative. Some remarks regarding liveness and liveness enforcing techniques are also presented.
基金Supported by the Beijing Natural Science Foundation(9133020)the National Natural Science Foundation of China(70972007)+1 种基金National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180)Beijing Municipal Natural Science Foundation(9102015)
文摘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.
文摘To describe the dynamic semantics for the network computing, the concept on process is presented Based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.
文摘Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.
文摘A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.
文摘In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
文摘过程现场网络(PROFINET)是一个开放式的工业以太网通信协议,是在全球应用广泛的工业现场总线技术之一。为了更有效地应用PROFINET技术,研究了基于PROFINET的以太网高级物理层(Ethernet-APL)控制系统。随着工业以太网的应用在工业网络市场中占据绝对优势,Ethernet-APL技术得以问世。Ethernet-APL支持包括PROFINET在内的高级别工业以太网。PROFINET over高级物理层(APL)是PROFINET工业通信标准中的一项技术,使PROFINET能够进入工厂的现场区域。随着2019年过程自动化(PA)profile V4.0配置文件的发布,PROFINET作出了一些改变,使PROFINET技术能融入Ethernet-APL体系。同时,德国巴斯夫公司等大型企业早就开始对Ethernet-APL技术进行评估测试,促使PROFINET over APL技术投入实际应用,并在中国巴斯夫一体化特大型石化项目中全面采用该技术。这也将促进中国Ethernet-APL技术向更深层次发展。
文摘中小企业集群通过资源整合与协同创新,显著提升区域经济活力,其灵活性和适配性成为提升产业链韧性的重要支撑。然而,现有协同方法多聚焦建模优化,难以检测死锁与不可达等运行问题,导致流程效率低下与成本攀升。针对这一瓶颈,本文提出双维业务流程整合模型,通过PD-net(Petri Net with Data)共享合成技术实现企业集群业务逻辑与数据流程的协同,同时基于守卫条件驱动的可达图实现模型的可达性验证。
