Похоже на классический алгоритм из учебника. Для ПЛК это излишне, там делается всё спокойно на FBD, нажал кнопку - система запустилась, отжал - встала. И так же визуально отлаживается в работе, как электронная схема. В этом и весь смысл ПЛК - облегчить работу инженерам (именно наладчикам и эксплуатации, а не чистым программерам). В тяжёлых случаях по картам Карно реализуется логическая схема. Или пишутся формулы типа a=(b@c) l (d@!e). Ну а Ваше уж для совсем тяжёлых случаев. Проверки можно и даже нужно делать всегда, какие-то по условиям пуска или стопа (утрирую). Такая диаграмма состояний для сетевых функций - типа модбас слейв, модбас сервер, ТСР, вещь незаменимая. Но в ПЛКе оно уже из коробки обычно. Ну или озвучьте свою конкретную ситуацию, для понимания процесса.