利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题

摘要

提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生。最后,以一个真实的案例说明模型的应用。本方法适用于着色Petri网的仿真工具CPNTools。