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

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

Иллюстрации

Показать все

Реферат

 

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

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

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

РЕСПУБЛИК (я)з G 06 F 15/419

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

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

ПРИ ГКНТ СССР

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

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ . (21) 4735443/24 (22) 26.06,89 (46) 15.04.92. Бюл. ЬЬ 14 (75) И.Г.Березин и А.А.Петрыкин (53) 681.333 (088.8) (56) Авторское свидетельство СССР . ЬЬ 1405070, кл. G 06 F 15/20, 1986. .Авторское свидетельство СССР

f4 1633430, кл. G 06 F 15/419, 1989. (54) УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯ

СЕТЕЙ ПЕТРИ (57) Изобретение относится к вычислительной технике и может быть использовано для моделирования систем описываемых сетями Петри с запрещающими дугами. Целью, :. изобретения является расширение функци ональных воэможностей устройства за счет . моделирования сетей Петри с запрещающими дугами. Устройство содержит блок 1 синИзобретение относится к вычислительной технике и может быть использовано для моделирования систем, описываемых сетями Петри с запрещающими дугами.

Известно устройство для моделирова. ния сетей Петри. содержащее блок задания матрицы входной. разметки вершин-переходов, блок задания матрицы выходной разметки вершин-переходов, блок синхронизации, блок сравнения, многоканальный накапливающий сумматор, блок определения вершин-приемников меток и, блок определения вершин-передатчиков меток. .Однако известное устройство не позволяет моделировать сети Петри с запрецйющими дугами. Ы„„1727138 А1 хронизации; блок 2 вычисления текущей разметки, блок 3 определения возбужденных переходов, блок 4 логического умножения, блок 5 определения запрещенных переходов, вход 6 пуска, вход 7 задания значений элементов матрицы выходной разметки вершин-переходов, вход 8 задания начальной разметки, вход 9 задания элементов матрицы входной разметки вершинпереходов и вход 10 задания значений элементов матрицы условий запрета переходов устройства. Вектор управления, задающий возбуждение переходов сети в данной маркировке, формируется на выходе блока 4 в результате логического умножения вектора возбужденных переходов и вектора запрещенных переходов. По вектору управления в блоке 2 вычисляется текущая маркировка сети. 1 ил.

Целью изобретения является расширение функциональных возможностей устройства за счет моделирования сетей Петри с

Запрещающими дугами.

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

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

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

Петри содержит блок 1 синхронизации, блок

2 вычисления текущей разметки, блок 3 on1727138 ределения возбужденных переходов, блок 4 логического умножения, блок 5 определения запрещенных переходов, вход 6 пуска, вход 7 задания значений элементов матрицы выходной разметки вершин-переходов, вход 8,задания начальной разметки, вход 9 задания элементов матрицы входной разметки вершин-переходов и вход 10 задания значений элементов матрицы условий запрета переходов устройства, причем вход 6. 10 пуска устройства подключен к входу пуска блока 1 синхронизации, первый выход которого подключен к тактовому входу блока 2 вычисления текущей разметки, информационный выход которого подключен к входу задания текущей разметки блока 3 определения возбужденных переходов и к входу задания текущей разметки блока 5 определения запрещенных переходов, вход 9 зада20 ния значений (К, М)-ro элемента матрицы входной разметки вершин-переходов устройства (M = 1,2,...,ВП, К = 1,2„...ВМ, где

ВП.— количество вершин-; а ВМ.— количество вершин-мест в сети Петри) подключен к входу признака наличия дуги из

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

3 определения возбужденных переходов, 30 выход признака принадлежности М-го перехода множеству возбужденных которого подключен к М-у разряду первого информационного входа блока 4 логического умножения, информационный выход которого 35 подключен к. входу задания вектора разрешенных переходов блока 2 вычисления текущей разметки, выход признака принадлежности M-го перехода множеству запрещенных блока 5 определения запре- 40 щенных переходов подключен к M-у разряду второго информационного входа блока 4 логического умножения, вход 8 задания начальной разметки устройства и вход 7 задания значений элементов матрицы выходной 45 разметки вершин-переходов устройства подключены к входу установки начальной разметки и к входу признака наличия дуги из К-й вершины-места в М-ю вершину-переход регистрирующего блока 2 вычисления 50 текущей разметки соответственно, второй выход блока 1 синхронизации подключен к тактовому входу блока 4 логического умножения, вход 10 задания значения (К, М)-го элемента матрицы условий запретов пере- 55 ходов устройства подключен к входу признака наличия запрещающей дуги из К-й вершины-места e M-ю вершину-переход блока 5 определения запрещенных переходов, Устройство работает следующим образом.

Ка вход 6 пуска устройства подают импульс уровня логической единицы, Под действием. синхросигналов с первого выхода блока 1 синхронизации информация о текущей разметке с информационного выхода блока 2 вычисления текущей разметки поступает на входы задания текущей разметки блока 3 определения возбужденных переходов и блока 5 определения запрещенных переходов. В первом цикле работы устройства такой информацией является информация о начальной разметке, поступающая со входа 8 задания разметки на вход установки начальной разметки блока 2. В блоке 3 определения возбужденных переходов по значению текущей разметки (в первом цикле— начальной) и информации об элементах матрицы входной разметки вершин-переходов, поступающей со входа 9 устройства на вход признака наличия дуги из М-й вершины-перехода в К-ю вершину-место блока 3 выбираются те вершины-переходы, входная разметка которых и текущая разметка (в первом цикле — начальная) позволяют выполнить переход в обычном смысле, т.е, без учета наличия запрещающих дуг. При этом возбужденному в обычном смысле переходу на выходе признака принадлежности М-го перехода множеству возбужденных блока 3 (и, следовательно, на первом входе блока 4) соответствует потенциал уровня логической единицы.

В блоке 5 определения запрещенных переходов по значению текущей разметки (в первом цикле- начальной) и.информации об элементах матрицы условий запрета переходов, поступающей со входа 10 устройства на вход признака наличия запрещающей дуги иэ К-й вершины-места в М-ю вершину-переход блока 5, выбираются те вершины-переходы, которые не могут сработать из-за наличия в текущей разметке (B первом цикле — начальной) меток в вершинах-местах, из которых ведут запрещающие дуги в эти переходы. При этом запрещенному переходу на выходе признака принадле>кности М-ro перехода множеству запрещенных блока 5 (и, следовательно, на вгором входе блока 4) соответствует потенциал уровня логического нуля, Через время, достаточное для выполнения укаэанных операций, блок 1 снимает сигналы с первого выхода и формирует синхросигналы на своем втором выходе. При этом в блоке 4 реализуется операция логического умножения, и на его информационном выходе формируется вектор разрешенных переходов. Так как и возбужденным в обычном смысле пе1727138

Составитель И. Березин

Редактор В. Фельдман Техред М,Моргентал Корректор Э. Лончакова

Заказ 1280 Тираж . Подписное

ВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР

113035, Москва, Ж-З5, Раушская наб., 4/5

Производственно-издательский комбинат "Патент", г, Ужгород, ул.Гагарина, 101 реходам (информация о которых поступает на первый вход блока 4) и незапрещенным (из-за запрещающих друг) переходам (ин-. формация о которых поступает на второй вход блока 4) соответствует потенциал уров- 5 ня логической единицы, то и разрешенным переходам в результате выполнения блоком

4 операции логического умножения (функции И).будет соответствовать потенциал логической единицы. Через время, 10 достаточное для выполнения операций бло-ком 4, блок 1 синхронизации формирует синхросигналы на своем первом выходе.

При этом в блоке 2 по информации о топологии сети (которая поступает со входов 7 и 15

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

2 и работа устройства повторяется, 20

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

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

Петри, содержащее блок синхронизации, . блок вычисления. текущей разметки и блок 25 определения возбужденных переходов, причем вход пуска устройства подключен к входу пуска блока синхронизации, первый выход которого подключен к тактовому входу блока вычисления текущей разметки, ин- .30 формационный выход которого подключен к входу задания текущей разметки блока определения возбужденных переходов, о тл ич а ю щ ее с я тем, что, с целью расши.рения функциональных возможностей уст- 35 ройства за счет моделирования сетей Петри с запрещающими дугами, в него введены блок логического умножения и блок определения запрещенных переходов. причем

40 вход задания-значения (К, M)-ro злемен а матрицы входной разметки вершин-переходов устройства (М = 1,2...„ВП, К = 1,2,...,ВМ, где ВП вЂ” количество вершин-переходов, а

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

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

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