机译:对制造系统中的顺序控制器设计的梯形逻辑图和Petri网的改进评估
机译:比较梯形逻辑图和Petri网以通过离散制造系统进行序列控制器设计
机译:使用行为轨迹和Petri网构建块的柔性制造系统的建模和逻辑控制器规范
机译:将用于制造系统的Petri网控制器转换为梯形逻辑图
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:基于PetriNet的支持网络物理制造系统中可追溯性的方法
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制
机译:用于分布式机器人系统的petri网控制器