| 有色Petri网在系统分析中的应用 |
| |
| 引用本文： | 周必水,李旭东. 有色Petri网在系统分析中的应用[J]. 系统仿真学报, 2003, 15(Z1): 102-104 |
| |
| 作者姓名： | 周必水 李旭东 |
| |
| 作者单位： | 杭州电子工业学院 软件分院，浙江,杭州,310037 |
| |
| 摘 要： | Coloured Petri网(简称CP-nets或CPN)是一种用于设计、详细说明、仿真和检验的面向图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯协议、分布式系统、嵌入式系统、自动化生产系统、工作流分析和超大规模集成电路芯片。
|
| 关 键 词： | 仿真 弧 状态 变迁 赋时 时戳 |
| 文章编号： | 1004-731X(2003)S1-0102-03 |
| 修稿时间： | 2003-05-10 |
The Use of Coloured Petri Nets In System Analysis |
| |
| ZHOU Bi-shui,Li Xu-dong. The Use of Coloured Petri Nets In System Analysis[J]. Journal of System Simulation, 2003, 15(Z1): 102-104 |
| |
| Authors: | ZHOU Bi-shui Li Xu-dong |
| |
| Abstract: | Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design ,specification ,simulation and verification of systems .It is in particular well-sutied for system in which communication ,synchronization and resource sharing are imported .Typical examples of application areas are communication protocols ,distributed systems ,imbedded systems ,automated production systems ,work flow analysis and VLSI chips. |
| |
| Keywords: | simulation arcs places transitions timed time stamp |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
