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