排序方式: 共有1条查询结果,搜索用时 6 毫秒
1
1.
利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题 总被引:2,自引:0,他引:2
提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools. 相似文献
1