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

• 作者: 吕锦 梁汝昭 陆以勤
• 来源期刊: 中山大学学报(自然科学版)
• 学科: 工学
• 关键词: 着色Petri网 业务冲突 使用实例
• 年，卷（期）: 2004,（z1）
• 页码范围: 145-148
• 页数: 4页
• 分类号: TN915.02
• 字数: 3448字
• 语种: 中文
• DOI: 10.3321/j.issn:0529-6579.2004.z1.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆以勤	华南理工大学电子与信息学院	56	292	8.0	15.0
2	吕锦	华南理工大学电子与信息学院	5	128	4.0	5.0
3	梁汝昭	华南理工大学电子与信息学院	2	4	2.0	2.0