基于一致分布的时间Petri网模型

• 作者: 丁志军 潘理 陈刚
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 时间Petri网 一致分布 实施概率 状态类方法 模拟
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 900-907
• 分类号: TP301
• 字数: 6986字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00900

摘要

时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈刚	同济大学计算机科学与技术系	25	380	9.0	19.0
2	潘理	湖南理工学院信息与通信工程学院	37	171	8.0	11.0
4	丁志军	同济大学计算机科学与技术系	37	329	8.0	17.0