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

 

Изобретение относится к вычислительной технике и может быть использовано для моделирования систем, описываемых сетями Петри. Целью изобретения является сокращение аппаратурных затрат. Устройство содержит блок 1 задания матрицы выходной разметки вершин-переходов, блок 2 определения вершин-приемников меток, блок 3 синхронизации, многоканальный накапливающий счмматор 4, блок 5 сравнения, блок 6 задания матрицы входной разметки вершин-переходов, блок 7 определения вершин-передатчиков меток, вход 8 пуска чстройства, выходы 9. 10 блока 3 синхронизации и выходы 11 текущей ра шетки устройства . Перед началом работы в блоки 1 и 6 заносят информацию с топологии сети Петри Каналы сумматора 4 загрхжают в соответствии с начальной разметкой сети. На вход 8 пуска устройства подают импульс уровня логической «1 При этом блок 3 синхронизации формирует на своих выходах 9, К) последовательность сигналов, предусмотренную временной диаграммой его работы, под правлением которой осуществляется моделирование сети Петри Наблюдая за изменением разметки сети на выходах 11 устройства, можно оценить ее поведение. 1 ил. с (Л

СОЮЗ СОВЕТСКИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСПУБЛИК

ОПИСАНИЕ ИЗОБРЕТЕНИЯ

К А BTOPCKOMY СВИДЕТЕЛЬСТВУ

ГОСУДАРСТВЕННЫЙ КОМИТЕТ

ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ

ПРИ ГКНТ СССР (2!) 4683!53/24 (22 ) 25.04.89 (46) 07.03.91. Бюл. № 9 (72) А. Н. Будкин, В. Н. Костюшкин, Ю. В. Лисица, В. В. Спичкин и В. В. Холоденко (53) 681.333(088.8) (56) Авторское свидетельство СССР № 1314350, кл. G 06 Е 15/20, 1986.

Авторское свидетельство СССР № 1405070, кл, G 06 F !5/20, 1986. (54) УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯ СЕТЕЙ ПЕТРИ (57) Изобретение относится к вычислительной технике и может быть использовано для моделирования систем, описываемых сетями Петри. Целью изобретения является сокращение аппаратурных затрат. Устройство содержит блок 1 задания матрицы выходной разметки вершин-переходов, блок 2 определения вершин-приемников меток, блок

„.Я0„„1633430 А 1 (5!)5 (. 06 1- !5 419

3 синхронизации, многоканальный накапливающий сумматор 4, блок 5 сравнения, блок 6 задания матрицы входной разметки вершин-переходов, блок 7 определения вершин-передатчиков меток. вход 8 пуска устройства, Bbjxolbl 9, )!) блока 3 синхронизации и выходы 1 текущей разметки устройства. Перед началом работы в блоки

1 и 6 заносят информацию с топологии сети Петри. Каналы сумматора 4 загружают в соответствии начальной разметкой сети. Hd вход 8 пуска устройства подают импульс уровня логической «!». При этом блок 3 синхронизации формирует на своих выходах 9, 10 последовательность сигна 1()B, предусмотренную временной диаграммой его работы, под управлением которой осуществляется моделирование ссги 11етри. Наблюдая за изменением тек щей разметки сети на выходах !1 устройства, мо кно оценить ее нове.!ение. ил.

1633430

: > «;I выходе 10. 11ри этом блок 5 сравнения форчирует потенциалы уровня логическoH «!» на теx своих выходах признаков «Не меньше», для которых каждый разряд инфорл<ационного входа не меныпе (<гольше или I);IB(H) с<ют)3етствующего разря- 35 .,а инфорчационногo входа группы (г. е.

Bbl0HI)dIoT< ге вершины-переходы, входная

Ра ам(

t I H d.1 Ы V I) O B H )3 ) О Г и ч(. С КОЙ << I >> и а T (.Õ С В ОНх выходах, ночера которых соответствуют вершинам-честам, передаюп<им четки. Одновременно блок 2 определения вершин-приемников меток формирует потенциалы уровня логической «I» на Тех своих входах, 45 номера которых соответствуют вершинамместам, принимающим метки. Через время, достаточное для выполнения указанных операций, блок 3 снимает потенциалы уровня логической «1» с своего выхода 10 и формирует импульс уровня логической «1» на выходе 9. При этом каналы сумматора 4 выполняют операции сложения и вычитания информации, поступившей на Нх входы (тем самым из вершин-мест, номера которых соответствуют номера м каналов сумматора 4, изы vlàþòñÿ метки (при выполИзобретение относится к области вычислительной техники и может быть использовано для чоделирования систем, описываемых сетями Петри.

Целью изобретения сокращение аппа ратурных затрат.

На чертеже представлена функциональная схема устройства.

Устройство содержит блок 1 задания матрицы выходной разметки вершин-переходов, блок 2 определения вершин-приемников меток, блок 3 синхронизации, многоканальный накапливающий сумматор 4, блок 5 сравнения, блок 6 задания матрицы входной разметки вершин-переходов, блок 7 определения вершин-передатчиков меток, вход

Ь пуска устройства. выходы 9 и 10 блока

3 синхропи.)ации и выходы 11 текущей разчетки устроиства.

Ус грои TBo работает следующим образом.

Перед началом работы в блоки 1 и 6 задания магриц выходной и входной разметки вершин-переходов заносят информацию о гоно.)огни сети Iетри. (ханалы многоканального накапливаюп<его сумматора 4 загружают в соответсгвии с начальной разл<еткой сети. На BxoJ 8 пуска устройства подают имплльс уровня логической «I ». 11ри этом блок 3 сии:<ронизации формирует Hd своих выходах 9 и 10 последовательность сигна, Io B. предусч Отрен ную временной ди а гра мчой его работы. Влок, E синхронизации формирует IloT(. нциал уровня логической

30 нении операции вычитания) или добавляются метки (при выполнении операции сложения), т. е. изменяется текущая разметка сети) . Через время, достаточное для выполнения арифметических операций, блок

3 синхронизации формирует потенциал уровня логической «1» на своем выходе 9 и работа устройства повторяется.

Формула изобретения

Устройство для моделирования сетей Петри, содержащее блок задания матрицы входной разметки вершин-переходов, блок задания матрицы выходной разметки вершинпереходов, блок синхронизации, многоканальный накапливаюц<ий сумматор и блок сравнения, причем вход пуска устройства подключен к входу пуска блока синхронизации, первый выход которого подключен к тактовому входу многоканального накапливаю)пего сумматора, информационный выход К-го канала которого (К= I,...,,ВЧ. где ВМ -- количество вершин-мест в сети Петри) является К-м выходом текуlI<(H разметки устройства и подключен к

К-му разряду информационного входа блока сравнения, отличающееся тем, что, с целью сокра)цения аппа ратурных затрат, в него введены блок определения вершин-приемников меток и блок определения вершинпередатчиков меток, причем выход значения (К, M)-гo элемента блока задания матрицы выходной разметки вершин-переходов (.И= I,...,ÂII, где ВП количество в ршин-переходов в сети Петри) подключен к входу признака наличия дуги из М-й вершины-перехода в К-ю вершину-места блока определения вершин-приемников меток, вы.ход признака приема метки в К-ю вершину-места которого подключен к входу слагаемогo К-гo канала многоканального накапливающего сумматора, выход значения (К, .И)-ro элемента блока задания матрицы входной разметки вершин-переходов подключен к входу признака наличия дуги из

K-й вершины места в .И-ю вершинуперехода блока определения вершин-передат чиков меток и к К-му разряду М-го информационного входа группы блока сравнения, М-й выход признака «Не меньше» которого подключен к входу опроса М-Й вершины-перехода блока определения вершин-приемников меток и к входу опроса

М-й вершины перехода блока определения вершин-передатчиков меток, выход признака передачи метки из К-й вершины-места которого подключен к входу вычитаемого

K-го канала многоканального накапливающего сумматора, второй выход блока синхро низации подключен к тактовому входу блока сравнения.