科研之友
微信
新浪微博
Facebook
分享链接
摘要
GRAFCET is a powerful graphical means for the specification of a controller's logic behavior. But the computer-based treatment of GRAFCET is today tool dependent. This paper introduces a systematic approach for the formalization of GRAFCET specifications as a precondition for an automatic generation of PLC code.
- 出版日期2014-6
