|
|||||
|
|
| 混合Petri网的流体随机Petri网模型 | |
| 引用本文： | 黄镇谨,陆阳,杨娟,方欢.混合Petri网的流体随机Petri网模型[J].计算机科学,2012,39(8):51-54. |
| 作者姓名： | 黄镇谨 陆阳 杨娟 方欢 |
| 作者单位： | 1. 合肥工业大学计算机与信息学院 合肥230009;广西工学院计算机工程系 柳州545006 2. 合肥工业大学计算机与信息学院 合肥230009;安徽省矿山物联网与安全监控技术重点实验室 合肥230088 3. 合肥工业大学计算机与信息学院 合肥230009 |
| 基金项目： | 国家自然科学基金项目(60873195,61070220);高等学校博士点基金项目(20090111110002)资助 |
| 摘 要： | 混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程. |
| 关 键 词： | Petri网 模型转换 混合Petri网 流体随机Petri网 变迁合并 |
Fluid Stochastic Petri Net Model for Hybrid Petri Net |
|
| HUANG Zhen-jin , LU Yang , YANG Juan , FANG Huan.Fluid Stochastic Petri Net Model for Hybrid Petri Net[J].Computer Science,2012,39(8):51-54. | |
| Authors: | HUANG Zhen-jin LU Yang YANG Juan FANG Huan |
| Affiliation: | 1(School of Computer & Information,Hefei Univerisity of Technology,Hefei 230009,China)1(Department of Computer Engineering,Guangxi University of Technology,Liuzhou 545006,China)2(The Anhui Provincial Key Laboratory of Mine IoT and Mine Safety Supervisory Control,Hefei 230088,China)3 |
| Abstract: | Hybrid Petri net and fluid stochastic Petri arc two modeling methods for hybrid system. hheir modeling mechanism and analysis method are different and the two modeling formalisms are still evolving. Through converting for each other,one modeling method can use the others modeling primitives and analytical method for analyzing system, which is helpful for the future development of them. The formal conversion from hybrid Petri net to fluid stochastic Pe- tri net and a transition mergence method after conversion were proposed. Also, the effectiveness of proposed conversion and mergence was proofed. At the end of paper, a case was illustrated for describing the process of conversion and mer- gcncc. |
| Keywords: | Petri net Model conversion Hybrid petri net Fluid stochastic petri net Transition mergence |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |