Discrete Event Systems; Formal Methods; Petri nets; Road Traffic Control; Traffic Signals;
机译:确定性随机Petri网模型用于城市交通响应信号控制
机译:使用同步定时Petri网和响应控制的城市信号交叉路网络的模块化设计
机译:模块化Petri网,用于道路交通信号网络的建模和场景分析
机译:与Petri网设计的响应交通信号
机译:网络设计问题:流量响应信号控制方案。
机译:基于信令Petri网的仿真器:一种用于表征特定于小区的信令网络动力学的非参数策略
机译:用培养网设计的交通信号网络的情景分析
机译:结合信号转换对交通响应信号系统中定时方案选择的影响