| 有色Petri网在通信协议中的应用 |
| |
| 引用本文： | 周必水,郦泓.有色Petri网在通信协议中的应用[J].系统仿真学报,2003,15(Z1):112-113. |
| |
| 作者姓名： | 周必水 郦泓 |
| |
| 作者单位： | 杭州电子工业学院软件分院,杭州,310037 |
| |
| 摘 要： | 有色Petri网(CPNs)提供了一个框架用来对系统进行设计.有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用.通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域.
|
| 关 键 词： | 有色Petri网 实际应用 通信协议 建模 |
| 文章编号： | 1004-731X(2003)S1-0112-02 |
| 修稿时间： | 2003年4月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 万方数据 等数据库收录！ |
|
