基于颜色Petri网的交通信息网格系统建模与分析

• 作者: 李景霞 赵慧娟
• 来源期刊: 科技与创新
• 关键词: 交通信息网格系统 颜色Petri网 形式化描述模型
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 博士论坛
• 页码范围: 20-21,6
• 分类号: TP3U
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2011.06.009

摘要

交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务.系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性.