| 智能网业务中的Petri网建模及验证方法 |
| |
| 引用本文： | 马玉祥,李远军,刘彦明.智能网业务中的Petri网建模及验证方法[J].西安电子科技大学学报,2004,31(2):194-198. |
| |
| 作者姓名： | 马玉祥 李远军 刘彦明 |
| |
| 作者单位： | 西安电子科技大学计算机学院，西安电子科技大学计算机学院，西安电子科技大学计算机学院 陕西西安 710071，陕西西安 710071，陕西西安 710071 |
| |
| 基金项目： | 国家自然科学基金资助项目(69583006)，综合业务网国家重点实验室资助项目(99187106) |
| |
| 摘 要： | 在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．
|
| 关 键 词： | 智能网 Petri网 网络模型 业务验证 业务设计 |
| 文章编号： | 1001-2400(2004)02-0194-05 |
A modeling and verification method for intelligent networks services with Petri nets |
| |
| MA Yu-xiang,LI Yuan-jun,LIU Yan-ming.A modeling and verification method for intelligent networks services with Petri nets[J].Journal of Xidian University,2004,31(2):194-198. |
| |
| Authors: | MA Yu-xiang LI Yuan-jun LIU Yan-ming |
| |
| Affiliation: | (School of Computer Science and Technology, Xidian Univ., Xi'an 710071, China) |
| |
| Abstract: | This paper introduces a specification of service logic based on the analysis of IN services and presents a model of the components of the specification that are related to concurrency and synchronization with Petri nets. The verification method for the model is also discussed. An example is given to illustrate the modeling and verification. |
| |
| Keywords: | Petri nets intelligent networks verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报》下载全文 |
