Устройство для моделирования сетей петри

СОЮЗ СОВЕТСКИХСОЦИАЛИСТИЧЕСКИХРЕСПУБЛИК 5)5 6 06 Е 15 419 САНИЕ ИЭОБРЕТЕНИ ЬСТВУ ГОСУДАРСТВЕННЫЙ КОМИТЕТПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯПРИ ГКНТ СССР А ВТОРСКОМУ СВИ(54) УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯ СЕТЕЙ ПЕТРИ(57) Изобретение относится к вычислительной технике и может быть использовано для моделирования систем, описываемых сетями Петри. Целью изобретения является сокращение аппаратурных затрат. Устройство содержит блок 1 задания матрицы выходной разметки вершин-переходов, блок 2 определения вершин-приемников меток, блок,801633430 А 1 3 синхронизации, многоканальный накапливающий сумматор 4, блок 5 сравнения, блок 6 задания матрицы входной разметки вершин-переходов, блок 7 определения вершин-передатчиков меток, вход 8 пуска устройства, выходы 9, 10 блока 3 синхронизации и выходы 11 текущей разметки устройства. Перед началом работы в блоки 1 и 6 заносят информацию с топологии сети Петри Каналы сумматора 4 загружают в соответствии с начальной разметкой сети. На вход 8 пуска устройства подают импульс уровня логической 1. 11 ри этом блок 3 синхронизации формирует на своих выходах 9, 1 О последовательность сигналов, предусмотренную временной диаграммой его работы, под управлением которой осугцествляется моделирование сети 11 етри Наблюдая за изменением тек щей разметки сети на выходах 11 устройства, можно оценить ее поведение. 1 ил.С:1 цд выходе 10. 11 ри этом блок 5 сравнения форчирует потенциалы уровня логическоицд тех своих выходах признаков Не меньше, для которых каждый разряд ицфрлдциоцного входа не меньше (спльше или рдвец) ссответствующего разря да ццфорчдццоцного входа группы ( г. е.вьпцрдктся ге вершины-переходы, входная дзмс Гкд ко Горых од вол яет вы сол питыерс.- ход). 11 ри эточ блск 7 определения вершин-передатчиков четок фсрлирует пстен пиалы уровня гпгической 1 цд тех своих выходах, цочерд которых соответствуют вершинам-честдм, переддюцсим четки. Одновременно блок 2 определения вершин-приемников меток формирует потенциалы уровня логической 1 ца тех своих входах, 45 номера которых соответствуют вершинам- местам, принимающим метки. Через время, достаточное для выполнения указанных операций, блок 3 снимает потенциалы уровня логическойс своего выхода 10 и формирует импульс уровня логическойна выходе 9. При этом каналы сумматора 4 выполняют операции сложения и вычитания информации, поступившей на их входы (тем самым из вершин-мест, номера которых соответствуют номерам каналов сумматора 4, изымаются метки (при выполИзобретение относится к области вычислительной техники и может быть использовано для чоделирования систем, описываемых сетями Петри.Целью изобретения сокращение аппа ратурных затрат.На чертеже представлена функциональная схема устройства.Устройство содержит блок задания матрицы выходной разметки вершин-переходов, блок 2 определения вершин-приемников меток, блок 3 синхронизации, многоканальный накапливающий сумматор 4, блок 5 сравнения, блок 6 задания матрицы входной разметки вершин-переходов, блок 7 определения вершин-передатчиков меток, вход8 пуска устройства, выходы 9 и 10 блока 3 синхронизации и выходы 11 текущей рдзчетки устроиства.Ус гроиство работает следующим образом.11 еред началом работы в блокии 6 задания мдгриц выходной и входной разметки вершцц-переходон заносят информацию о гоцологци сети 11 етри. Каналы многоканального цдкаливдюцсего сумматора 4 загружают в соответс гвин с начальной разметкойсети. Нд в.сод 8 пуска устройства подают цлсплльс урсвця логической . При этомблок 3 синхронизации формирует цд своих вылипах 9 и 1 О последовательность с игца,пв. цредусчотреццую временной диаграмчой его раситы. Воок 3 синхронизации фрчцр)ет потенциал уровня логической 10 15202530 нении операции вычитания) или добавляются метки (при выполнении операции сложения), т. е. изменяется текущая разметка сети). Через время, достаточное для выполнения арифметических операций, блок 3 синхронизации формирует потенциал уровня логическойна своем выходе 9 и работа устройства повторяется.Формула изобретенияУстройство для моделирования сетей Петри, содержащее блок задания матрицы входной разметки вершин-переходов, блок задания матрицы выходной разметки вершин- переходов, блок синхронизации, многоканальный накапливаюпсий сумматор и блок сравнения, причем вход пуска устройства подключен к входу пуска блока синхронизации, первый выход которого подключен к тактовому входу многоканального накапливающего сумматора, информационный выход К-го канала которого (К=1 ,ВЧ, где ВМколичество вершин-мест в сети Петри) является К-м выходом теку. гней разметки устройства и подключен к К-му разряду информационного входа блока сравнения, отличающееся тем, что, с целью сокрацеция аппаратурных затрат, в него введены блок определения вершин-приемников меток и блок определения вершин- передатчиков меток, причем выход значения ( К, М)-го элемента блока задания матрицы выходной разметки вершин-переходов (,И=ВП, где ВП количество версцин-переходов в сети Петри) подключен к входу признака наличия дуги из М-й вершины-перехода в К-ю вершину-места блока определения версцин-приемников меток, вылид признака приема метки в К-ю вершину-места которого подключен к входу слагаемого К-го канала многоканального накапливающего сумматора, выход значения ( КИ)-го элемента блока задания матрицы входной разметки вершин-переходов подключен к входу признака наличия дуги из К-й вершины места в И-ю вершину- перехода блока определения вершин-передат чиков меток и к К-му разряду М-го информационного входа группы блока сравнения, М-й выход признака Не меньше которого подключен к входу опроса М.й вершины. перехода блока определения вершин-приемников меток и к входу опроса М-й вершины перехода блока определения вершин-передатчиков меток, выход признака передачи метки из К-й вершины-места которого подключен к входу вычитаемого К-го канала многоканального накапливающего сумматора, второй выход блока синхро низации подключен к тактовому входу блока сравнения.