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

摘要：

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

关键词：交通信息网格系统、颜色Petri网、形式化描述模型

所属期刊栏目：27

分类号：TP3U(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：20-21,6