Сети Петри при управлении параллельными взаимодействующими процессами
Автор:Крушный Валерий Год: 2013 Издание:LAP Lambert Academic Publishing Страниц: 224 ISBN: 9783659349447 В работе рассматривается формализованная технологическая цепочка проектирования управляющих структур в автоматизированных системах реального времени с параллельной обработкой данных на базе структурированных сетей Петри с управляемыми переходами в режиме внешнего динамического векторного управления. Предлагаемая методика проектирования управляющих программ взаимосвязанных микропроцессорных структур и связанная с ней формализация соответствующих правил, процедур, алгоритмов анализа и синтеза предназначена для студентов, аспирантов и молодых специалистов соответствующих направлений.
