摘要
有色Petri网(CPNs)提供了一个框架用来对系统进行设计。有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用。通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域。
Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specication, validation,and verication of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, hardware designs, embedded systems, software system designs.
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期112-113,118,共3页
Journal of System Simulation
关键词
有色PETRI网
实际应用
通信协议
建模
colored petri nets
practical use
communication protocols
modeling
