![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Translating Grafcet specifications into Mealy machines for conformance test purposes
Keywords: کنترل کننده های منطقی; Conformance test; Model-based test; Grafcet; Mealy machine; Logic controllers