Forbidden state problem; Petri nets; Control synthesis; Time constraints;
机译:从ETSC到定时Petri网的转换方法,以改进基于矩阵的离散事件控制器及其统一支持系统
机译:使用Petri网实现离散事件机器人系统的实时分布式控制
机译:部分可控和可观测离散事件系统的Petri-Net控制器综合
机译:基于时间控制Petri网控制时间离散事件系统的合成
机译:定时离散事件系统的控制综合
机译:基于定时Petri网和系统布局规划的工厂设施布局规划研究
机译:从ETSC到定时Petri网的转换方法,以改进基于矩阵的离散事件控制器及其统一支持系统