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

(5)5 О 06 Р 15/ ТЕНИ К А ОСУДАРСТВЕННЫЙ КОМИТЕТО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМРИ ГКНТ СССР САНИЕ ИЗОБ СКОМУ СВИДЕТЕЛЬСТВУ(56) Авторское свидетельство СССРМ 1633430, кл. 6 06 Р 15/419, 25,04.89,(54) УСТРОЙСТВО ДЛЯ МОДЕЛИРОВАНИЯСЕТЕЙ ПЕТРИ(57) Изобретение относится к вычислительной технике и может быть использовано длямоделирования обьектов или процессов,описываемых сетями Петри. Целью изобретения является расширение функциональных возможностей устройства за счетмоделирования сетей Петри с задержкой передачи фишек из вершин-переходов, Устройство содержит блок 1 синхронизации,многоканальный накапливающий сумматор2, блок 3 сравнения, многоканальный блок 4задержки, блок 5 определения вершин приемников фишек, блок б определения вершин передатчиков фишек, вход 7 пуска устроиства, входы 8 задания значений элементов матрицы входной разметки устройства, входы 9 задания значений элементов матрицы выходной разметки вершин-переходов, вход 10 задания начальной разметки устройства, выход 11 текущей разметки устройства и вход 12 задания времени передачи фишек из вершин-переходов. Пусть необходимо смоделировать сеть Петри с задержкой фишек в вершинах-переходах. Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметки вершин-переходов. На вход 10 устройства подают значения начальной разметки сети Петри, По входам 12 устройства задают значения времени задержки фишек в вершинах-переходах. На вход 7 пуска устройства подают сигнал уровня логической единицы, При этом блок 1 синхронизации формирует на своих выходах последовательность сигналов, предусмотренную временной диаграммой его работы, под управлением которой осуществляется моделирование сети Петри. 1 ил,10 15 20 Изобретение относится к вычислительной технике, может быть использовано длямоделирования объектов или процессов,описываемых сетями Петри, и является усовершенствованием изобретения по, авт.св.М 1633430,Цель изобретения - расширение функциональных возможностей устройства засчет моделирования сетей Петри с задержкой передачи фишек из вершин-переходов.На чертеже представлена функциональная схема устройства.Устройство содержит блок 1 синхронизации, многоканальный накапливающийсумматор 2, блок 3 сравнения, многоканальный блок 4 задержки, блок 5 определения вершин приемников фишек, блок 6определения вершин передатчиков фишек,вход 7 пуска устройства, входы 8 заданиязначений элементов матрицы входной разметки устройства, входы 9 задания значений элементов матрицы выходной разметкивершин-переходов, вход 10 задания начальной разметки устройства, выход 11 текущейразметки устройства и вход 12 задания вре мени передачи фишек из вершин-переходов,Устройство работает следующим образом.Пусть необходимо смоделировать сетьПетри с задержкой фишек в вершинах-переходах,Перед началом работы на входы 8,9 устройства подают значения элементов матрицы входной и выходной разметкивершин-переходов. На вход 10 устройстваподают значения начальной разметки сетиПетри. При этом каналы многоканальногонакапливающего сумматора 2 устанавливаются в исходное состояние (тем самым задается количество фишек в каждойсоответствующей номеру канала вершинеместе), По входам 12 устройства задают значения времени задержки фишек ввершинах-переходах. При этом каналы блока 4 устанавгивают заданное время задержки. На вход 7 пуска устройства подаютсигнал уровня логической единицы, Приэтом блок 1 синхронизации формирует насвоих выходах последовательность сигналов, предусмотренную временной диаграммой его работы.Блок 1 синхронизации формирует импульс уровня логической единицы на своемпервом выходе. При этом блок 3 сравненияформирует потенциалы уровня логическойединицы на тех своих выходах признаковне меньше, которые соответствуют информационным входам группы, для которыхзначение каждого разряда информационно 25 30 35 40 45 50 55 го входа не меньше (т.е. больше или равно) значения соответствующего разряда информационного входа группы (тем самым определяются вершины-переходы, для которых выполняются условия переходов). При этом каналы блока 4 задерживают поступившую на их входы информацию на заданное время (тем самым моделируется процесс задержки передачи фишек из вершин-переходов). При этом блок 6 определения вершин передатчиков фишек формирует потенциалы уровня логической единицы на тех своих выходах, номера которых соответствуют вершинам-местам, передающим фишки, а блок 5 определения вершин приемников фишек формирует потенциалы уровня логической единицы на тех своих выходах, номера которых соответствуют вершинам-местам, принимающим фишки,Через время, достаточное для выполнения указанных операций, блок 1 синхронизации формирует импульс уровня логической единицы на своем втором выходе. При этом каналы сумматора 2 уменьшают накопленные ранее значения на величины, поступившие по их входам вычитаемых и одновременно увеличивают указанные значения на величины, поступившие по их входам слагаемых (тем самым осуществляется моделирование процессов передачи (операции вычитания) и приема (операция сложения) фишек из вершин-мест (в вершины-места).Через время, достаточное для выполнения указанных операций, блок 1 синхронизации повторяет выдачу импульса уровня логической единицы на своем первом выходе (при этом работа устройства повторяется).Формула изобретения Устройство для моделирования сетей Петри по авт.св. В 1633430, о т л и ч а ющ е е с я тем, что, с целью расширения функциональных возможностей устройства путем обеспечения моделирования сетей Петри с задержкой передачи фишек из вершин-переходов, в него введен многоканальный блок задержки, причем М-й выход признака "Не меньше" блока сравнения (М,ВП; ВП - количество вершин-переходов в сети Петри) подключен к информационному входу М-го канала многоканального блока задержки, информационный выход М- го канала которого подключен к входам опроса М-й вершины-перехода блока определения вершин приемников фишек и блока определения вершин передатчиков фишек, вход задания времени передачи фишек из вершин-переходов устройства подключен к входу установки каналов многоканального блока задержки,