检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学院合肥智能机械研究所
出 处:《小型微型计算机系统》2005年第12期2144-2146,共3页Journal of Chinese Computer Systems
基 金:国家自然科学基金项目(60175027)资助
摘 要:流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.Fluid Stochastic Petri nets and Hybrid Petri nets have been introduced as extension of classical Petri nets to model hybrid systems with both continuous components and discrete components, and to deal with the possible state space explosion of discrete models. Since the two modeling formalisms are still evolving, a comparison between them is helpful for the future development of both of them, and is also helpful for choosing an appropriate formalism for the application considered. In this paper, the definitions, continuous marking, analyses, and possibilities of conversion from one to the other of the two modeling approaches are discussed. The conclusion is that the best model depends on the particular application, and the two modeling approaches are complementary.
关 键 词:PETRI网 流体随机PETRI网 混合PETRI网 建模
分 类 号:TP302[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.191.97.68