【摘要】 自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后，Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网，并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。更多还原

【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.更多还原