CAJ | 학술논문

自1962年C.A.Petri在其博士论文中首先提出Petri网后，Petri网理论和应用都取得了长足的进步。有色Petri网是由K.Jensen提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Petri网，并利用仿真工具Design/CPN对一个通信协议停-等协议进行分析。
자1962년C.A.Petri재기박사논문중수선제출Petri망후，Petri망이론화응용도취득료장족적진보。유색Petri망시유K.Jensen제출적일충고급망계통，가이위계통건모제공강유력적지지。문장개소료유색Petri망，병이용방진공구Design/CPN대일개통신협의정-등협의진행분석。
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.