C Sonntag, S Fischer - 49th IEEE Conference on Decision and …, 2010 - ieeexplore.ieee.org
Sequential Function Chart (SFC) is a powerful graphical formalism for the specification of
logic controllers that is well recognized and very successful in industry. In this paper, a …