Дальше работа схемы направлена на реализацию формулы (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
| название | год | авторы | номер документа |
|---|---|---|---|
| Устройство для исследования сетей Петри | 1986 |
|
SU1322312A1 |
| Устройство для моделирования сетей Петри | 1990 |
|
SU1709348A1 |
| Устройство для исследования сетей Петри | 1991 |
|
SU1784998A1 |
| Устройство для исследования сетей Петри | 1990 |
|
SU1709350A2 |
| Устройство для исследования сетей Петри | 1990 |
|
SU1809448A1 |
| Устройство для исследования сетей Петри | 1986 |
|
SU1374242A1 |
| Устройство для моделирования графов Петри | 1990 |
|
SU1714621A1 |
| Устройство для моделирования вершины графа | 1987 |
|
SU1427380A1 |
| Устройство для моделирования дискретных систем | 1985 |
|
SU1295411A1 |
| Устройство для моделирования графов Петри | 1987 |
|
SU1483459A1 |
- Изобретение относится к вычис- . лительной технике и может быть использовано для исследования сетей Петри, Цель изобретения - расширение области применения. Цель изобретения достигается за счет дополнительного введения в состав устройства четвертого блока памяти 15, второй группы блоков схем сравнения , 16-k и группы элементов И 17 1 . «о,17-k. 2 ило
Фиг. 2
