UML; dual specification; hierarchical Petri net; logic controller; state machine diagram;
机译:具有异常处理机制的逻辑控制器设计中基于Petri网的规范
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:用于逻辑控制器的分层Petri网规范的例外处理
机译:基于Petri网的用于自动化加工单元的可编程逻辑控制器。
机译:无线传感器网络中基于节能逻辑的分层路由协议聚类技术
机译:基于petri网的逻辑控制器透明度分析 - 自动化软件质量的一种度量
机译:自动电子束(EB)焊接系统的分层架构:异常处理和鲁棒控制器。