| 流体随机Petri网的混杂自动机模型 |
| |
| 引用本文： | 彭月英,廖伟志.流体随机Petri网的混杂自动机模型[J].厦门大学学报(自然科学版),2009,48(1). |
| |
| 作者姓名： | 彭月英 廖伟志 |
| |
| 作者单位： | 广西师范学院信息技术系,广西,南宁,530023 |
| |
| 基金项目： | 广西壮族自治区自然科学基金 |
| |
| 摘 要： | 为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.
|
| 关 键 词： | 流体随机Petri网 一阶混杂Petri网 混杂自动机 行为演变 模型分析 |
Hybrid Automaton Model of Fluid Stochastic Petri Nets |
| |
| PENG Yue-ying,LIAO Wei-zhi.Hybrid Automaton Model of Fluid Stochastic Petri Nets[J].Journal of Xiamen University(Natural Science),2009,48(1). |
| |
| Authors: | PENG Yue-ying LIAO Wei-zhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
