计算机应用研究2014，Vol.31Issue(1)：141-146,6.DOI:10.3969/j.issn.1001-3695.2014.01.034
基于定时谓词变迁系统客运专线区间通用模型及仿真
General model and simulation on passenger-dedicated line section based on timed predicate/transition-system
摘要
关键词
定时谓词/变迁—系统/Petri网/客运专线区间/闭塞分区/四信号灯显示/仿真系统Key words
TPr/T-S/Petri nets/passenger-dedicated line section/block section/four-signal display/simulation system分类
信息技术与安全科学引用本文复制引用
李望,倪少权..基于定时谓词变迁系统客运专线区间通用模型及仿真[J].计算机应用研究,2014,31(1):141-146,6.基金项目
国家自然科学基金资助项目(61273242) （61273242）
