В работе рассматривается формализованная технологическая цепочка проектирования управляющих структур в автоматизированных системах реального времени с параллельной обработкой данных на базе структурированных сетей Петри с управляемыми переходами в режиме внешнего динамического векторного управления. Предлагаемая методика проектирования управляющих программ взаимосвязанных микропроцессорных структур и связанная с ней формализация соответствующих правил, процедур, алгоритмов анализа и синтеза предназначена для студентов, аспирантов и молодых специалистов соответствующих направлений. Это и многое другое вы найдете в книге Сети Петри при управлении параллельными взаимодействующими процессами (Валерий Крушный)