混合Petri网的流体随机Petri网模型

• 作者: 方欢 杨娟 陆阳 黄镇谨
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Petri网 模型转换 混合Petri网 流体随机Petri网 变迁合并
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 51-54
• 分类号: TP393
• 字数: 5803字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.08.011

摘要

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆阳	合肥工业大学计算机与信息学院	147	1309	19.0	29.0
3	黄镇谨	合肥工业大学计算机与信息学院	11	40	4.0	5.0
9	杨娟	合肥工业大学计算机与信息学院	47	121	5.0	8.0
10	方欢	合肥工业大学计算机与信息学院	11	80	5.0	8.0