机译:具有异常处理机制的逻辑控制器设计中基于Petri网的规范
Computer Engineering & Electronics Department, University of Zielona Gora, ul. Licealna 9, 65-417 Zielona Gora, Poland;
Computer Engineering & Electronics Department, University of Zielona Gora, ul. Licealna 9, 65-417 Zielona Gora, Poland;
logic controller; dual specification; hierarchical petri net; UML; state machine diagram;
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:基于分层Petri Net的逻辑控制器规范中的异常处理
机译:基于Petri网的用于自动化加工单元的可编程逻辑控制器。
机译:朝着组合颜色识别技术的自主水下航行器的基于图像的导航系统的设计和实现以及模糊逻辑控制器
机译:基于petri网的逻辑控制器透明度分析 - 自动化软件质量的一种度量