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

作     者：马玉祥 李远军 刘彦明 

作者机构：西安电子科技大学计算机学院陕西西安710071 

基　　金：国家自然科学基金资助项目(69583006) 综合业务网国家重点实验室资助项目(99187106) 

出 版 物：《西安电子科技大学学报》 (Journal of Xidian University)

年 卷 期：2004年第31卷第2期

页      码：194-198页

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

主 题 词：智能网 Petri网 网络模型 业务验证 业务设计 

学科分类：0810[工学-土木类] 08[工学] 081001[081001] 

核心收录：

D　O　I：10.3969/j.issn.1001-2400.2004.02.008

馆 藏 号：203134177...