@article{赵天时_97,
author = {[赵天时]},
title = {基于有色Petri网的测试案例生成方法及其CTCS-3车地通信中的应用},
publisher = {星空电竞app2026最新版学报},
year = {2018},
journal = {星空电竞app2026最新版学报},
volume = {42},
number = {6},
eid = {97},
pages = {97-},
keywords = {CTCS-3级列控系统;有色Petri网;车地通信;状态空间;路径},
doi = https://jdxb.bjtu.edu.cn/CN/10.11860/j.issn.1673-0291.2018.06.014
}