标题：智能交通信号灯形式化建模
作者：卢灿举 陈永 胡晓辉
作者单位：兰州交通大学信息与电气工程学院，甘肃 兰州 730070
关键字：交通控制信号灯，着色Petri网，建模
摘要：主要针对协调和检测离散控制系统中的交通信号灯问题做出了形式化描述，在设计和分析时结合着色Petri网理论对问题进行建模和分析，并采用仿真工具Design/CPN对模型进行仿真研究。结合一个简单交通信号灯控制系统给出了形式化描述和分析结论。