论文部分内容阅读
自1962年C.A.Petri在其博士论文中首先提出Petri网后，Petri网理论和应用都取得了长足的进步，有色Petri网是由K.Jensen提出的一种高级网系统，可以为系统建模提供强有力的支持。文章介绍了有色Petri网，并利用仿真工具Design/CPN对一个通信协议停一等协议进行分析。