| 基于颜色Petri网的交通信息网格系统建模与分析 |
| |
| 引用本文： | 李景霞,赵慧娟. 基于颜色Petri网的交通信息网格系统建模与分析[J]. 微计算机信息, 2011, 0(6) |
| |
| 作者姓名： | 李景霞 赵慧娟 |
| |
| 作者单位： | 安徽农业大学信息与计算机学院;上海海洋大学信息学院; |
| |
| 摘 要： | 交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。
|
| 关 键 词： | 交通信息网格系统 颜色Petri网 形式化描述模型 |
Model and Analysis for Transportation Information Grid System based on Colored Petri Net |
| |
| LI Jing-xia ZHAO Hui-juan. Model and Analysis for Transportation Information Grid System based on Colored Petri Net[J]. Control & Automation, 2011, 0(6) |
| |
| Authors: | LI Jing-xia ZHAO Hui-juan |
| |
| Affiliation: | LI Jing-xia ZHAO Hui-juan(School of Information and Computer Sciences,Anhui Agricultural University,Hefei 230036,China)(Information College,Shanghai Ocean University,Shanghai 201306,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
