利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题 |
| |
引用本文: | 梁汝昭,陆以勤,吕锦. 利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题[J]. 中山大学学报(自然科学版), 2004, 43(Z1): 145-148 |
| |
作者姓名: | 梁汝昭 陆以勤 吕锦 |
| |
作者单位: | 华南理工大学电子与信息学院,广东,广州,510640 |
| |
基金项目: | 国家自然科学基金,广东省自然科学基金,广东省科技厅科技计划 |
| |
摘 要: | 提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.
|
关 键 词: | 着色Petri网 业务冲突 使用实例 |
文章编号: | 0529-6579(2004)S1-0145-04 |
修稿时间: | 2004-03-12 |
Detecting the Interaction of Doth-Ring and Traveler-Go-Home Service by Colored Petri Nets |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|