李海波 杜军威 梅萌 喻钢 王曦 吴芳美

列车自动监控系统 Petri网 单元测试 图形转换 安全性验证 态射 故障树 模型检测

同济大学信息与通信工程系 同济大学电子与信息工程学院 青岛科技大学信息科学技术学院 同济大学沪西校区信息与控制工程系