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 pr...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. dynamic modeling of a complex photolithography process effectively The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.展开更多
针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进行分析,提出了一种在空间上三维分布的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. dynamic modeling of a complex photolithography process effectively The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.
文摘针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进行分析,提出了一种在空间上三维分布的Petri网建模方法.将组合、颜色和定时约束Petri网引入协同设计的流程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分解等方面提出了优化.