Датчики безопасности проверяйте в основной проге, которая должна управлять выходами...SFC может просто управлять регистром (переменной) состояния системы (в зависимости от входных сигналов) и это "состояние" уже и используйте в основной проге (я бы наверное использовал для неё LD или FBD) для непосредственного управления выходами ...