Устройство для моделирования сетей петри
Изобретение относится к вычислительной технике и может быть использовано для мо злирования объектов или процессов, описываемых сетями Петри. Целью изобретения является расширение функциональных возможностей устройства за счет моделирования сетей Петри с задержкой передачи фишек из вершин-переходов. Устройство содержит блок 1 синхронизации, многоканальный накапливающий сумматор 2, блок 3 сравнения, многоканальный блок 4 задержки, блок 5 определения вершин приемников фишек, блок 6 определения вершин передатчиков фишек, вход 7 пуска устройства, входы 8 задания значений элементов матрицы входной разметки устройства , входы 9 задания значений элементов матрицы выходной разметки вершин-переходов , вход 10 задания начальной разметки устройства, выход 11 текущей разметки устройства и вход 12 задания времени передачи фишек из вершин-переходов. Пусть необходимо смоделировать сеть Петри с задержкой фишек в вершинах-переходах. Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметки вершин-переходов . На вход 10 устройства подают значения начальной разметки сети Петри. По входам 12 устройства задают значения времени задержки фишек в вершинах-переходах. На вход 7 пуска устройства подают сигнал уровня логической единицы. При этом блок 1 синхронизации формирует на своих выходах последовательность сигналов, предусмотренную временной диаграммой его работы, под управлением которой осуществляется моделирование сети Петри. 1 ил. + Ё
СОЮЗ СОВЕТСКИХ
СОЦИАЛИСТИЧЕСКИХ
РЕСПУБЛИК (я)5 G 06 F 15/419
ГОСУДАРСТВЕННЫЙ КОМИТЕТ
ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ
ПРИ ГКНТ СССР
ОПИСАНИЕ ИЗОБРЕТЕНИЯ
К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (61) 1633430 (21) 4795066/24 (22) 26. 12. 89 (46) 07.02.92, Бюл. М 5 (72) Ю.В.Лисица и В.H.Êoñòþøêèí (53) 681.333(088.8) (56) Авторское свидетельство СССР
N 1633430, кл. G 06 F 15/419, 25,04.89. (54) УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯ
СЕТЕЙ ПЕТРИ (57) Изобретение относится к вычислительной -ехнике и может быть использовано для моделирования обьектов или процессов, описываемых сетями Петри. Целью изобретения является расширение функциональных возможностей устройства за счет моделирования сетей Петри с задержкой передачи фишек из вершин-переходов, Устройство содержит блок 1 синхронизации, многоканальный накапливающий сумматор2, блок 3 сравнения, многоканальный блок 4 задержки, блок 5 определения вершин приемников фишек, блок б определения вершин передатчиков фишек, вход 7 пуска
„„ Ы„„1711192 А2 устройства, входы 8 задания значений элементов матрицы входной разметки устройства, входы 9 задания значений элементов матрицы выходной разметки вершин-переходов, вход 10 задания начальной разметки устройства, выход 11 текущей разметки устройства и вход 12 задания времени передачи фишек из вершин-переходов. Пусть необходимо смоделировать сеть Петри с задержкой фишек в вершинах-переходах. Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметки вершин-переходов. На вход10 устройства подают значения начальной разметки сети Петри. По входам
12 устройства задают значения времени задержки фишек в вершинах-переходах. На вход 7 пуска устройства подают сигнал уровня логической единицы. При этом блок 1 синхронизации формирует на своих выходах последовательность сигналов, предусмотренную временной диаграммой его работы, под управлением которой осуществляется моделирование сети Петри. 1 ил.
1711192
15
Изобретение относится к вычислительной технике, может быть использовано для моделирования объектов или процессов, описываемых сетями Петри, и является усовершенствованием изобретения по, авт.св.
М 1633430, Цель изобретения — расширение функциональных возможностей устройства за счет моделирования сетей Петри с задержкой передачи фишек из вершин-переходов.
На чертеже представлена функциональная схема устройства.
Устройство содержит блок 1 синхронизации, многоканальный накапливающий сумматор 2, блок 3 сравнения, многоканальный блок 4 задержки, блок 5 определения вершин приемников фишек, блок 6 определения вершин передатчиков фишек, вход 7 пуска устройства, входы 8 задания значений элементов матрицы входной разметки устройства, входы 9 задания значений элементов матрицы выходной разметки вершин-переходов, вход 10 задания начальной разметки устройства, выход 11 текущей разметки устройства и вход 12 задания вре мени передачи фишек из вершин-переходов, Устройство работает следующим образом.
Пусть необходимо смоделировать сеть
Петри с задержкой фишек в вершинах-переходах.
Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметки вершин-переходов. На вход 10 устройства подают значения начальной разметки сети
Петри. При этом каналы многоканального накапливающего сумматора 2 устанавливаются в исходное состояние (тем самым задается количество фишек в каждой соответствующей номеру канала вершинеместе). По входам 12 устройства задают значения времени задержки фишек в вершинах-переходах. При этом каналы блока 4 устанавгивают заданное время задержки. На вход 7 пуска устройства подают сигнал уровня логической единицы, При этом блок 1 синхронизации формирует на своих выходах последовательность сигналов, предусмотренную временной диаграммой его работы.
Блок 1 синхронизации формирует импульс уровня логической единицы на своем первом выходе. При этом блок 3 сравнения формирует потенциалы уровня логической единицы на тех своих выходах признаков не меньше, которые соответствуют информационным входам группы, для которых значение каждого разряда информационно25
55 го входа не меньше (т.е. больше или равно) значения соответствующего разряда информационного входа группы (тем самым определяются вершины-переходы, для которых выполняются условия переходов). При этом каналы блока 4 задерживают поступившую на их входы информацию на заданное время (тем самым моделируется процесс задержки передачи фишек из вершин-переходов). При этом блок 6 определения вершин передатчиков фишек формирует потенциалы уровня логической единицы на тех своих выходах, номера которых соответствуют вершинам-местам, передающим фишки, а блок 5 определения вершин приемников фишек формирует потенциалы уровня логической единицы на тех своих выходах, номера которых соответствуют вершинам-местам, принимающим фишки, Через время, достаточное для выполнения указанных операций, блок 1 синхронизации формирует импульс уровня логической единицы на своем втором выходе. При этом каналы сумматора 2 уменьшают накопленные ранее значения на величины, поступившие по их входам вычитаемых и одновременно увеличивают указанные значения на величины, поступившие по их входам слагаемых (тем самым осуществляется моделирование процессов передачи (операции вычитания) и приема (операция сложения) фишек из вершин-мест (в вершины-места).
Через время, достаточное для выполнения указанных операций, блок 1 синхронизации повторяет выдачу импульса уровня логической единицы на своем первом выходе (при этом работа устройства повторяется).
Формула изобретения
Устройство для моделирования сетей
Петри по авт.св. N. 1633430, о т л и ч а ющ е е с я тем, что, с целью расширения функциональных возможностей устройства путем обеспечения моделирования сетей
Петри с задержкой передачи фишек из вершин-переходов, в него введен многоканальный блок задержки, причем М-й выход признака "Не меньше" блока сравнения (М-1„,ВП; ВП вЂ” количество вершин-переходов в сети Петри) подключен к информационному входу М-го канала многоканального блока задержки, информационный выход Mго канала которого подключен к входам опроса М-й вершины-перехода блока определения вершин приемников фишек и блока определения вершин передатчиков фишек, вход задания времени передачи фишек из вершин-переходов устройства подключен к входу установки каналов многоканального блока задержки,
