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

• 作 者: 周航 黄志球 张广泉 祝义 胡军
• 机 构: 南京航空航天大学信息科学与技术学院,南京航空航天大学民航学院,南京大学计算机软件新技术国家重点实验室,苏州大学计算机科学与技术学院,徐州师范大学计算机科学与技术学院
• 出 处: 软件学报
• 发表日期: 2010年06期
• 关键词: 网构软件 Petri网 代价 时间变迁系统 多态性
• 基金项目: 国家自然科学基金No.60873047;航空科学基金No.2007ZD52043;高等学校博士学科点专项科研基金No.20070287052;江苏省自然科学基金No.BK2008154;江苏省高校自然科学基金No.08KJB520010~~

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