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

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