早在20世纪80年代,贝尔实验室就首次提出了业务冲突问题。根据ITU-T对业务冲突的描述,业务冲突是指一个业务逻辑实例对另一业务逻辑实例或对同一业务逻辑的不同业务逻辑实例的不利影响。 实际电信网中的业务冲突可以理解为电信业务在实现时的相互干扰。 1、CPN Tools概述 Petri网是一种既具有图形表达能力又具有严格数学定义的模拟工具,CPN(Colored Petri Nets)则是对它的一种扩展。CPN适用于对具有并发性和分布式特点的电信系统进行图形化建模,并描述系统的动态特征。CPN Tools可以对软件中使用到的语义和结构进行自动检测,并为最后的仿真结果提供报告