《计算机学报》文章摘要   全文下载
文章题目	基于一致分布的时间Petri网模型
作者	潘理1),2) 丁志军2) 陈刚2)
作者单位	1)(湖南理工学院信息与通信工程学院 湖南岳阳 414006) 2)(同济大学计算机科学与技术系 上海 200092)
发表年份	2010
发表月份	5期(900—907)
文章摘要	摘要 时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性. 关键词 时间Petri网;一致分布;实施概率;状态类方法;模拟 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2010.00900