...
机译:比较梯形逻辑图和Petri网以通过离散制造系统进行序列控制器设计
机译:对制造系统中的顺序控制器设计的梯形逻辑图和Petri网的改进评估
机译:使用自动化Petri网的离散事件控制系统设计及其梯形图实现
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:评估Petri网和梯形逻辑图的复杂性,以实现灵活自动化中的顺序控制器设计
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:线性离散时间非因果多速率系统的最优预览控制器设计
机译:制造系统的petri网控制器转换为梯形逻辑图