基于PTCPN的网构软件建模与分析

• 作者: 周航 张广泉 祝义 胡军 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 网构软件 Petri网 代价 时间变迁系统 多态性
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1254-1266
• 分类号: TP311
• 字数: 10953字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03578

摘要

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	祝义	南京航空航天大学信息科学与技术学院	15	179	8.0	13.0
4	周航	南京航空航天大学信息科学与技术学院	34	186	8.0	11.0
8	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0