首页 | 本学科首页   官方微博 | 高级检索  
     

有色Petri网在通信协议中的应用
引用本文:周必水,郦泓. 有色Petri网在通信协议中的应用[J]. 系统仿真学报, 2003, 15(Z1): 112-113
作者姓名:周必水  郦泓
作者单位:杭州电子工业学院软件分院,杭州,310037
摘    要:有色Petri网(CPNs)提供了一个框架用来对系统进行设计.有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用.通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域.

关 键 词:有色Petri网  实际应用  通信协议  建模
文章编号:1004-731X(2003)S1-0112-02
修稿时间:2003-04-24

The Application ofColored Petri nets in Communication Protocol
ZHOU Bi-shui,LI Hong. The Application ofColored Petri nets in Communication Protocol[J]. Journal of System Simulation, 2003, 15(Z1): 112-113
Authors:ZHOU Bi-shui  LI Hong
Abstract: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.
Keywords:colored petri nets  practical use  communication protocols  modeling
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号