一种嵌入式系统扩展流关系Petri网及应用

摘要：

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.

关键词： 火车控制系统 Petri网 时间自动机 嵌入式系统

作者: 张辉 董荣胜 高西

作者单位: 桂林电子科技大学计算机系,广西桂林,541004

会议类型: 国内会议

会议名称: 广西计算机学会2007年年会

会议地点: 南宁

会议语种:中文

页码: 254-257

在线出版日期: 2007-10-01（万方平台首次上网日期，不代表论文的发表时间）