有色Petri网在通信协议中的应用

摘要

有色Petri网(CPNs)提供了一个框架用来对系统进行设计。有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用。通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域。