一种离散随机petri网的性能计算和分析方法-东南大学学报.pdf

第３７卷第６期 东南大学学报（自然科 学版 ） Ｖｏｌ３７ Ｎｏ６ 　 ２００７年１１月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） 　 Ｎｏｖ．２００７ 　　　　　　 一种离散随机Ｐｅｔｒｉ网的性能计算和分析方法 姜　浩　　周　燕 （东南大学计算机科学与工程学院，南京２１００９６） 摘要：为了有效地计算离散事件动态系统Ｐｅｔｒｉ网模型的时间性能，用一种离散扩展随机Ｐｅｔｒｉ网 建立系统的性能模型，采用基于Ｔ组件网的化简技术，结合等效延迟时间和概率分布不变的计 算方法，求解和分析Ｐｅｔｒｉ模型的时间性能参数．实验结果表明，变迁不仅可以被赋予任意的延迟 时间和概率分布，而且计算结果也具有很高的精度，为离散事件动态系统的建模和性能计算与分 析提供了一种有效的数值化计算方法． 关键词：性能评价；离散随机Ｐｅｔｒｉ网；随机模型；Ｔ组件网；子网化简 中图分类号：ＴＰ３９１７　　文献标识码：Ａ　　文章编号：１００１－０５０５（２００７）０６０９６４０６ Ｃａｌｃｕｌａｔｉｎｇａｎｄａｎａｌｙｚｉｎｇｍｅｔｈｏｄｆｏｒｐｅｒｆｏｒｍａｎｃｅｏｆ ｄｉｓｃｒｅｔｅｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔｓ ＪｉａｎｇＨａｏ　　ＺｈｏｕＹａｎ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＦｏｒｅｆｆｅｃｔｉｖｅｌｙｃａｌｃｕｌａｔｉｎｇｔｈｅｔｉｍｅｐｅｒｆｏｒｍａｎｃｅｏｆＰｅｔｒｉｎｅｔｍｏｄｅｌｓｏｆｄｉｓｃｒｅｔｅｅｖｅｎｔｄｙ ｎａｍｉｃ（ＤＥＤＳ）ｓｙｓｔｅｍ，ｔｈｅｐｅｒｆｏｒｍａｎｃｅｉｎｄｉｃｅｓｏｆＰｅｔｒｉｎｅｔｍｏｄｅｌａｒｅｃａｌｃｕｌａｔｅｄａｎｄａｎａｌｙｚｅｄｂｙｕ ｓｉｎｇｒｅｄｕｃｔｉｖｅｔｅｃｈｎｉｑｕｅｓｂａｓｅｄｏｎＴｃｏｍｐｏｎｅｎｔｓ，ｃｏｍｂｉｎｉｎｇｗｉｔｈｔｈｅａｐｐｒｏａｃｈｆｏｒｅｑｕｉｖａｌｅｎｔｔｉｍｅ ｄｅｌａｙａｎｄｐｒｏｂａｂｉｌｉｔｙｄｉｓｔｒｉｂｕｔｉｏｎｃａｌｃｕｌａｔｉｎｇ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔｓｉｌｌｕｓｔｒａｔｅｓｔｈａｔｎｏｔｏｎｌｙａｒｂｉｔｒａｒｙｔｉｍｅ ｄｅｌａｙａｎｄｐｒｏｂａｂｉｌｉｔｙｄｉｓｔｒｉｂｕｔｉｏｎｃａｎｂｅａｓｓｉｇｎｅｄｔｏｔｒａｎｓｉｔｉｏｎｓ，ｔｈｅｃａｌｃｕｌａｔｉｏｎｒｅｓｕｌｔｓａｌｓｏｈａｖｅｖｅｒｙ ｈｉｇｈｐｒｅｃｉｓｉｏｎ．Ｔｈｅｒｅｆｏｒｅａｎｅｆｆｅｃｔｉｖｅｍｅｔｈｏｄｉｓｐｒｏｖｉｄｅｄｆｏｒｍｏｄｅｌｉｎｇａｎｄｐｅｒｆｏｒｍａｎｃｅｃａｌｃｕｌａｔｉｏｎ ａｎｄａｎａｌｙｓｉｓｏｆＤＥＤＳ． Ｋｅｙｗｏｒｄｓ：ｐｅｒｆｏｒｍａｎｃｅｅｖａｌｕａｔｉｏｎ；ｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔｓ；ｓｔｏｃｈａｓｔｉｃｍｏｄｅｌｓ；Ｔｃｏｍｐｏｎｅｎｔｓ；ｎｅｔｒｅ ｄｕｃｔｉｏｎ 　　离散随机Ｐｅｔｒｉ网（ＳＰＮ）是在２０世纪８０年代 （ＤＳＰＮ）的系统描述方法，结合网的分解和化简技 初作为描述离散事件动态系统（ＤＥＤＳ）的形式化 术，提出了一种在对ＤＳＰＮ进行化简的同时进行网 建模工具被提出来的，能有效地为复杂系统建模， 的时间性能等效计算和分析的方法．与传统的ＳＰＮ 进行性能和可靠性评价，被广泛地应用于计算机和 性能求解方法相比较，不仅可以指定Ｐｅｔｒｉ网模型 ［１］ 通信领域 ．ＳＰＮ是在Ｐｅｔｒｉ网的基础上引入时间 中变迁的延迟时间区间，而且变迁实施延迟时间概 参数，假定变迁从可实施到实施的延迟时间是一个 率可以是任意分布，解决了变迁实施延迟时间概率 连续型的随机变量，且服从某一分布．典型的ＳＰＮ 分布的局限性问题，为离散事件动