| 流体随机Petri网的一阶混杂Petri网模型 |
| |
| 引用本文： | 廖伟志,古天龙,董荣胜.流体随机Petri网的一阶混杂Petri网模型[J].计算机科学,2008,35(1):294-297. |
| |
| 作者姓名： | 廖伟志 古天龙 董荣胜 |
| |
| 作者单位： | 1. 西安电子科技大学电子工程学院,西安,710071;广西师范学院信息技术系,南宁,530023
2. 桂林电子科技大学计算机与控制学院,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金
,
广西科学基金 |
| |
| 摘 要： | 为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性.
|
| 关 键 词： | 流体随机Petri网 一阶混杂Petri网 模型转换 形式化方法 |
From Fluid Stochastic Petri Nets to First-order Hybrid Petri Nets |
| |
| LIAO Wei-Zhi,GU Tian-Long,DONG Rong-Sheng.From Fluid Stochastic Petri Nets to First-order Hybrid Petri Nets[J].Computer Science,2008,35(1):294-297. |
| |
| Authors: | LIAO Wei-Zhi GU Tian-Long DONG Rong-Sheng |
| |
| Abstract: | Fluid Stochastic Petri nets(FSPN)model only can include at most one or two continuous places for numerical analysis.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. |
| |
| Keywords: | Fluid stochastic petri nets First-order hybrid petri nets Model conversion Formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
