流体随机Petri网的混杂自动机模型

• 作者: 廖伟志 彭月英
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: 流体随机Petri网 一阶混杂Petri网 混杂自动机 行为演变 模型分析
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 42-46
• 页数: 5页
• 分类号: TP393
• 字数: 3610字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2009.01.010

摘要

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖伟志	广西师范学院信息技术系	47	241	8.0	12.0
2	彭月英	广西师范学院信息技术系	25	199	7.0	13.0