Устройство для моделирования сетей Петри Советский патент 1992 года по МПК G06F15/419 

ю

Изобретение относится к вычислительной технике, может быть использовано для моделирования объектов или процессов, описываемых сетями Петри.и является дополнительным к изобретению по авт. св. №1633430.

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

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

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

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

Пусть необходимо смоделировать сеть Петри с вероятностными вершинами-переходов (например, сеть Мерлина).

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

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

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

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

передающим метки.

Через время, достаточное для выполнения указанных операций, блок 1 синхронизации формирует импульс уровня логической единицы на своем втором выходе. При этом каналы сумматора 2 уменьшают накопленные ранее значения на величины поступившие по их входам вычитаемых и одновременно увеличивают указанные значения на величины поступившие

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

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

Формула изобретен и-я Устройство для моделирования сетей Петри по авт.св. № 1633430, отличающ е е с я тем, что, с целью расширения функциональных возможностей устройства путем обеспечения моделирования сетей Петри с вероятностными вершинами-переходов в него введен многоканальный генератор случайных событий, причем М-й выход признака Не меньше блока сравнения (М-1.....ВП, ВП-количество вершин-переходов в сети Петри) подключен к входу опроса М-го канала многоканального генератора случайных событий, выход М-го ка

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

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