| 有色Petri网在网络通信协议上的应用 |
| |
| 引用本文： | 刘琼波,尤晋元. 有色Petri网在网络通信协议上的应用[J]. 计算机工程与应用, 2001, 37(9): 27-29,46 |
| |
| 作者姓名： | 刘琼波 尤晋元 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系 |
| |
| 基金项目： | 上海市科技发展基金项目!（编号：995115014） |
| |
| 摘 要： | 自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后，Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网，并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。
|
| 关 键 词： | 有色Petri网 Design/CPN 停-等协议 |
| 文章编号： | 1002-8331-(2001)09-0027-03 |
Application of Coloured Petri Net in Network Communication Protocol |
| |
| Liu Qiongbo,YOU Jinyuan. Application of Coloured Petri Net in Network Communication Protocol[J]. Computer Engineering and Applications, 2001, 37(9): 27-29,46 |
| |
| Authors: | Liu Qiongbo YOU Jinyuan |
| |
| Abstract: | Since 1962 C. A. Petri firstly put forward Petri net,both the theories and the practical. use of Petri net have been made great progress. Coloured Petri net is a kind of high level net system which was promoted by Kurt Jensen,and it is a powerful tool for modeling the systems. In this paper,an introduction of coloured Petri net is given,and a communication protocol stop-wait protocol is analysed using Design/CPN,which is a simulation tool for coloured Petri net. |
| |
| Keywords: | coloured Petri net Design/CPN stop-wait protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
