| 着色Petri网应用研究 |
| |
| 引用本文： | 王志强. 着色Petri网应用研究[J]. 电脑与信息技术, 2010, 18(5): 29-31,34 |
| |
| 作者姓名： | 王志强 |
| |
| 作者单位： | 甘肃交通职业技术学院信息工程系,甘肃兰州730070 |
| |
| 摘 要： | 着色Petri网是在经典Petri网理论基础上增加了token类型和网的模块这两个功能,它现在已成为一种较完善的语言,可以用来对各种系统规范和协议等进行设计、规范描写、仿真和验证等。文章对着色Petri网的基本理论进行了简单介绍,并对一个简单的通信协议进行建模和分析,提出了今后着色Petri网发展的一个主要方向。
|
| 关 键 词： | 着色Petri网 计算机仿真Design/CPN 协议验证 |
The Colored Petri Nets Research of Application |
| |
| WANG Zhi-qiang. The Colored Petri Nets Research of Application[J]. Computer and Information Technology, 2010, 18(5): 29-31,34 |
| |
| Authors: | WANG Zhi-qiang |
| |
| Affiliation: | WANG Zhi-qiang(Gansu Communication Technology College Department of Information Engineering,Lanzhou 730070,China) |
| |
| Abstract: | |
| |
| Keywords: | the colored Petri nets computersimulation Design/CPN protocol verification |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
