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

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