机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:具有异常处理机制的逻辑控制器设计中基于Petri网的规范
机译:使用行为轨迹和Petri网构建块的柔性制造系统的建模和逻辑控制器规范
机译:从Petri网络规格设计可重构逻辑控制器的设计
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:朝着组合颜色识别技术的自主水下航行器的基于图像的导航系统的设计和实现以及模糊逻辑控制器
机译:基于软件故障树和有色Petri网的规范,基于代理的入侵检测系统的设计和实现