流体随机Petri网的一阶混杂Petri网模型  

From Fluid Stochastic Petri Nets to First-order Hybrid Petri Nets

作　　者：廖伟志[1] 古天龙[2] 董荣胜[2] 

机构地区：[1]西安电子科技大学电子工程学院 [2]桂林电子科技大学计算机与控制学院,桂林541004

出　　处：《计算机科学》2008年第1期294-297,共4页Computer Science

基　　金：国家自然科学基金项目(60563005);广西科学基金项目(桂科基0640032)

摘　　要：为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性。Fluid Stochastic Petri nets （FSPN） model only can include at most one or two continuous places for numerical analysisl To analyze FSPN model by First Order Hybrid Petri Nets（FOHPN） model, the formal conversion from Fluid Stochastic Petri nets to First-Order Hybrid Petri Nets is presented. Also, the effectiveness of the proposed conversion is proofed. Through case study, the necessity of the conversion is illustrated.

关 键 词：流体随机PETRI网 一阶混杂Petri网 模型转换 形式化方法 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]