Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them...Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.展开更多
To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets (EHPNs) was proposed. To model the discrete part and continuous part of a complex photolithography proc...To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets (EHPNs) was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets (HPNs) were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.展开更多
A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a ...A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.展开更多
At present,solar thermal power generation is in the demonstration stage,and the large-scale production is affected by many factors.In view of the characteristics of different operating modes of photothermal power gene...At present,solar thermal power generation is in the demonstration stage,and the large-scale production is affected by many factors.In view of the characteristics of different operating modes of photothermal power generation,it is analyzed that the turbine needs to be started and stopped frequently due to different operating modes,which will lead to the instability of the output energy and the reduction of power generation efficiency.In this paper,the dynamic equation of energy conversion process is established by using the law of conservation of energy and conservation of mass.Combined with the logic switching criterion of the system,the system model was established by using the extended differential Petri net,and the validity and accuracy of the model were verified.Through the Petri net model of the system,the system’s working mode switching and power generation situation are analyzed due to the difference of direct normal irradiation intensity(DNI).Finally,the accuracy of the model is proved by comparing it with experimental data of the photovoltaic and thermal demonstration projects that have been connected to the grid.展开更多
针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进行分析,提出了一种在空间上三维分布的Petri网建模方法.将组合、颜色和定时约束Petri网引入协同设计的流程建模之中,设计了协同设计下云工...针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进行分析,提出了一种在空间上三维分布的Petri网建模方法.将组合、颜色和定时约束Petri网引入协同设计的流程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分解等方面提出了优化.展开更多
应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boe ing 777非相似余度飞控计算机故障行为模型.描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除了瞬态故障对分析系...应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boe ing 777非相似余度飞控计算机故障行为模型.描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除了瞬态故障对分析系统可靠性的影响.展开更多
基金supported by the Deanship of Scientific Research(DSR)King Abdulaziz University,Jeddah(23-135-35-HiCi)
文摘Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.
基金Project(60574054) supported by the National Natural Science Foundation of China
文摘To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets (EHPNs) was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets (HPNs) were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.
文摘A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.
基金supported by the Science Technology Project of State Grid Corporation of China(Grant No.52272219000 V)the Major Science and Technology Project of Gansu Province(Grant No.20ZD7GF011).
文摘At present,solar thermal power generation is in the demonstration stage,and the large-scale production is affected by many factors.In view of the characteristics of different operating modes of photothermal power generation,it is analyzed that the turbine needs to be started and stopped frequently due to different operating modes,which will lead to the instability of the output energy and the reduction of power generation efficiency.In this paper,the dynamic equation of energy conversion process is established by using the law of conservation of energy and conservation of mass.Combined with the logic switching criterion of the system,the system model was established by using the extended differential Petri net,and the validity and accuracy of the model were verified.Through the Petri net model of the system,the system’s working mode switching and power generation situation are analyzed due to the difference of direct normal irradiation intensity(DNI).Finally,the accuracy of the model is proved by comparing it with experimental data of the photovoltaic and thermal demonstration projects that have been connected to the grid.
文摘针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进行分析,提出了一种在空间上三维分布的Petri网建模方法.将组合、颜色和定时约束Petri网引入协同设计的流程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分解等方面提出了优化.
