SU1735869A2

SU1735869A2 - Устройство дл исследовани сетей Петри

Info

Publication number: SU1735869A2
Application number: SU904855206A
Authority: SU
Inventors: Александр Георгиевич Янковский; Алексей Валентинович Падерин; Валерий Владимирович Дорошенко
Original assignee: Военный Инженерный Краснознаменный Институт Им.А.Ф.Можайского
Priority date: 1990-07-31
Filing date: 1990-07-31
Publication date: 1992-05-23

Abstract

- Изобретение относитс к вычис- . лительной технике и может быть использовано дл исследовани сетей Петри, Цель изобретени - расширение области применени . Цель изобретени достигаетс за счет дополнительного введени в состав устройства четвертого блока пам ти 15, второй группы блоков схем сравнени , 16-k и группы элементов И 17 1 . «о,17-k. 2 ило

Description

Дальше работа схемы направлена на реализацию формулы (1). При подстановке полученных значений она имеет вид:

(1,0,1,0) + (0,0,1) х

1 -1 - О 2 О О

-1 0

1 -1 -1 lj

Под действием управл ющих сигналов с блока 11 информаци -из.блока 3 поступает в блок 8, где происходит сложение результата произведени со (Значением, маркировки, в результате получаетс нова маркировка СП (1,0, 0,1), котора заноситс в блок 4. Процесс работы устройства повтор етс .

На каждом шаге работы устройства происходит проверка кода, наход щегос в блоке Ь, т.е. последовательности выпуска переходов на нуль в блоке 10, Если информаци больше нул , процесс работы продолжаетс . Если последовательность запуска переходов равна нулю, блок 10 вырабатывает сигнал, свидетельствующий о том, что СП при данной начальной маркировке достигла передела выполнимости, т.е. достигла такого состо ни , когда все переходы запрещены. Блок 11 синхФормула изоб ретени

Устройство дл исследовани сетей Петри по авт.св. N 1322312, отличающеес тем, что, с целью расширени области применени ; дополнительно введены четвертый блок пам ти, втора группа блоков схем сравнени , группа элементов И, причем выход блока регистров подключен к первым информационным входам

блоков схем сравнени второй группы, выходы четвертого блока пам ти подключены к вторым информационным входам блоков схем сравнени второй группы , выходы признаков неотрицательного результата которых подключены к первым входам соответствующих элементов И группы, вторые входы которых со- единены с выходами признаков неотрицательного результата сравнени соответствующих блоков схем сравнени

первой группы, выходы элементов И группы подключены к информационному входу регистра результатов сравнени , вход признака чтени четвертого блока пам ти подключен к входам-признака

чтени первого и второго блоков пам ти , входы опроса блоков схем сравнени второй группы подключены к входам опроса блоков схем сравнени первой группы.

Pi

Фиг. 2

Claims

Устройство для исследования сетей Петри по авт.св. Ν’ 1322312, отличающееся тем, что, с целью расширения области применения; дополнительно введены четвертый блок памяти, вторая группа блоков схем сравнения, группа элементов И, причем выход блока регистров подключен к первым информационным входам 25 блоков схем сравнения второй группы, выходы четвертого блока памяти подключены к вторым информационным входам блоков схем сравнения второй группы, выходы признаков неотрицательного результата которых подключены к ^первым входам соответствующих элементов И группы, вторые входы которых со-единены с выходами признаков неотрицательного результата сравнения соответствующих блоков схем сравнения 35 первой группы, выходы элементов И группы подключены к информационному входу.регистра результатов сравнения, вход признака чтения четвертого блока памяти подключен к входам-признака 40. чтения первого и второго блоков памяти, входы опроса блоков схем сравнения второй группы подключены к входам опроса блоков схем сравнения первой группы.