Boolean equations; Logic controllers; Petri net; Synthesis method;
机译:同时赋值布尔方程的符号计算对逻辑控制器的设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。I.规范和设计
机译:基于彩色Petri网模型和标准IEC 1131的逻辑控制器的规范,设计和实现。设计与实施
机译:从Petri网转换成布尔方程,用于逻辑控制器的代数设计
机译:基于Petri网的用于自动化加工单元的可编程逻辑控制器。
机译:建模生物梯度形成:结合偏微分方程和Petri网
机译:用于交通信号控制器单元系统的模糊逻辑控制器及彩色Petri网建模