Вот описал некий аналог, для удобства проектирования. Активно пользуюсь сам, если нужно выделить блокировки из общего алгоритма управления. http://lapshinvr.ru/proect-ppo/psd.html
У нас Авгиевы конюшни с картами блокировок. Системный интегратор не стал использовать ПО для генерации f-программы на основе таблиц причина-следствие, поэтому весь код блокировок написан руками. Как и карты блокировок. И этот подход породил несколько проблем - нет единого соглашения по оформлению карт блокировок, все изменения нужно отслеживать и править руками