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

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