智能网业务中的Petri网建模及验证方法

• 作者: 刘彦明 李远军 马玉祥
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: Petri网 智能网 业务验证
• 年，卷（期）: 2004,（2）
• 页码范围: 194-198
• 页数: 5页
• 分类号: TP393
• 字数: 3932字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2004.02.008

摘要

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述,将其中涉及并发、同步等的描述转化为Petri网模型,探讨了在该模型上的验证方法,并给出了一个应用该规范和模型的例子.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘彦明	西安电子科技大学计算机学院	38	340	11.0	17.0
2	马玉祥	西安电子科技大学计算机学院	43	454	12.0	20.0
3	李远军	西安电子科技大学计算机学院	2	7	2.0	2.0