SU1714621A1 - Устройство дл моделировани графов Петри - Google Patents

Устройство дл моделировани графов Петри Download PDF

Info

Publication number
SU1714621A1
SU1714621A1 SU904816639A SU4816639A SU1714621A1 SU 1714621 A1 SU1714621 A1 SU 1714621A1 SU 904816639 A SU904816639 A SU 904816639A SU 4816639 A SU4816639 A SU 4816639A SU 1714621 A1 SU1714621 A1 SU 1714621A1
Authority
SU
USSR - Soviet Union
Prior art keywords
input
output
unit
block
information
Prior art date
Application number
SU904816639A
Other languages
English (en)
Inventor
Всеволод Викторович Васильев
Сергей Владимирович Зенкин
Валерий Валентинович Кузьмук
Евгений Борисович Лисицин
Вячеслав Владимирович Перепелица
Валерий Александрович Шумов
Original Assignee
Институт Проблем Моделирования В Энергетики Ан Усср
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Институт Проблем Моделирования В Энергетики Ан Усср filed Critical Институт Проблем Моделирования В Энергетики Ан Усср
Priority to SU904816639A priority Critical patent/SU1714621A1/ru
Application granted granted Critical
Publication of SU1714621A1 publication Critical patent/SU1714621A1/ru

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

Изобретение относитс  к вычислительной техйике и может быть использовано>& в различных област х промышленности дл  моделировани  параллельных процессоров, которые алгоритмически описаны с помощью сетей Петри. Цель изобретени  - повышение Достоверности моделировани  и расширение функциональных возможностей на моделирование оценочных графов Петри (т.е., таких, в которых вершины мест могут содержать любое целое число метокФиг.1Ь.Ого

Description

N О, а кратность (вес) дуг К может быть любым положителыным целым числом (К 1). Устройство содержит блок ввода 1, блок хранени  вводных векторов 2, блок текущей разметки 3, блок моделей вершин 4, блок хранени  выходных векторов 5, блок сравнени  6, генератор тактовых импульсов 7, блок индикации 8, блок суммировани  9, блок просмотра входных векторов 10, блок формировани  дополнительного кода 11, блок анализа 12, блок фиксации 13. блок просмотра выходных векторов 14. Перед началом работы в устройство ввод тс  исходные данные: входные раз еточные векторы - 8 блок хранени  входных векторов 2, выходные разметочные векторы - в блок хранени  выходных векторов 5, врем  At срабатывани  переходов - в блок моделей вершин 4, вектор начальной разметки - в блок текущей разметки 3. количество переходов в моделируемом графе Петри - в регистры блоков просмотра входных векторов 10 и просмотра выходных векторов 14. Режим моделировани  начинаетс  с запуска генератора тактовых импульсов 7 с по- мощью блока просмотра входных векторов 10. На вход блока сравнени  6 из блока хранени  входных векторов 2 по очереди
подаютс  входные разметочные векторы и анализируютс  на принадлежность их вектору текущей разметки то. имеет место, то формируетс  сигнал включени  соответствующей модели вершины t. Одно- временно блок формировани  дополнительного кода 11 и блок суммировани  9 обеспечивают вычитание вектора /Г из вектора гпо, а блок анализа 12 обеспечивает запись нового значени  вектора текущей . разметки в блок текущей разметки 3. Кроме того, в одном цикле работы устройства на вход блока Суммировани  9 из блока хранени  выходных векторов 10с помощью блока просмотра выходных векторов 14-подаютс  значени  выходных разметочных векторов (Л в случае поступлени  из блока моделей вершин 4 через блок фиксации 13сигналов окончани  моделировани  переходов t и прибавл ютс  к содержимому блока текущей разметки 3, Затем с помощью блока анализа 12 измен етс  содержимое блока текущей разметки 3. Цикл работы устройства повтор етс  до окончани  моделировани  заданного графа Петри. Блок индикации 8 служит дл  визуального наблюдени  за состо нием моделируемого графа Петри. 12 ил.
Изобретение относитс  к цифровой вычислительной технике, а именно к устройствам дл  обработки информ,ации специального назначени , в частности дл  решени  задач на сет х Петри, и может быть применено в различных отрасл х промышленности дл  откладки алгоритмов моделировани  параллельных процессов.
Известно устройство дл  моделировани  графов, содержащее блок моделей вершин , блок формировани  топологий, счетчик,  вл ющийс  таймером модели, генератор тактовых импульсов (ГТИ), блок пам ти , датчик случайных чисел и дешифратор и характеризующеес  тем, что оно позвол ет строить специализированные стохастические модели, модеЯировать различные последовательности действий и последовательностные процессы.
Недостатками этого известного устройства  вл ютс  его узка  специализаци  и отсутствие возможности моделировани  целого класса графов - графов (сетей) Петри .
Из известных устройств дл  моделировани  графов Петри наиболее близким по технической сущности к предлагаемому  вл етс  устройство, содержащее блок индикации , блок текущей разметки, блок пам ти, генератор тактовых импульсов, блок сравнени , блок ввода, блок моделей вершин, датчик случайных чисел и блок установки последующей разметки и характеризующеес  тем, что оно позвол ет строить специализированные модели на основе теории сетей Петри и моделировать параллельные процессы в сложных асинхронных, многопроцессорных и многомашинных системах. Недостатком этого известного устройства  вл етс  его узка  специализаци  на моделировани  только безопасных графов Петри, т.е. такой разновидности, в которой вершины мест могут содержать не более одной метки, а кратность дуг, соедин ющих вершины графа, может быть равна только единице. Кроме того,-устройство неадекватно моделирует параллельные процессы в св зи с последовательным сравнением на каждом участке работь; устройства (т.е., в каждую единицу модельного времени) только одного входного разметочного вектора с вектором текущей разметки. G увеличением числа m моделируемых вершин переходов 15 увеличиваетс  цикл работы счетчика
и растет врем  запаздывани  между по влением условий дл  моделировани  и фактическим моделированием вершин t(1 ).
Целью изобретени   вл етс  повышение достоверности моделировани  и расширение функциональных возможностей на моделирование оценочных графов Петри, т.е. таких, в которых вершины мест могут содержать любое целое неотрицательное число меток N О, а кратность (вес) дуг К может быть любым положительным целым числом (К S 1).
На фиг.1 представлена схема предлагаемого устройства; на фиг.2 - схема блока ввода; на фиг.З - схема блока хранени  входных векторов: на .фиг.4 - схема блока текущей разметки: на.фиг.5 - схема блока моделей вершин и блока фиксации; на фиг.6 схема счетчика, вход щего в состав блока моделей вершин; на фиг.7 - схема блока хранени  выходных векторов; ,на фиг.8 схема блока сравнени ; на фиг.9 - схемы блока суммировани , блока формировани  дополнительного кода и управл ющего элемента; на фиг. 10 - схемы блока просмотра входных векторов и блока просмотра выходных векторов: на фиг.11 - пример графа Петри, иллюстрирующий основные положени  теории графов Петри; на фиг.12 - примерграфа Петри, иллюстрирующий работу предлагаемого устройства.,
Устройство содержит блок 1 ввода, блок 2 хранени  входных векторов, блок 3 текущей разметки, блок 4 моделей вершин, блок 5 хранени  выходных векторов, блок 6 сравнени , генератор 7 тактовых импульсов , блок 8 индикации, блок 9 суммировани , блок 10 просмотра входных векторов, блок 11 формировани  дополнительного кода , блок 12 анализа, блок 13 фиксации и блок М просмотра выходных векторов. ;
Блок 1 ввода (фиг.2) содержит набор 15 тумблеров, набор 16 переключателей, набор RS-триггеров 17.1-17.3, дешифраторов, набор дешифраторов 19.1-19.3, набор 20 тумблеров , переключателей 21, RS-триггер , набор инверторов 23.1-23.3.V
Блок 2 хранени  входных векторов (фиг,3) содержит m узлов хранени  входных векторов 2. V и набор из m элементов НЕ 26. V . Каждый из узлов хранени  входных векторов 2. гсодержит набор из п 4-разр дных регистров 24.v.Е.( 1,2,.,мПггде п - число вершинмест в моделируемом графе Петри) и элемент И 25.v .v
Блок 3 текущей разметки (фиг.4) содержит п 4-разр дных регистров 3. , элементы ИЛИ 27 и И 28. Каждый из регистров
3. е содержит набор элементов НЕ 29.е, 1-29.6. 4, набор триггеров 30. ,1 - З0.е4 и набор элементов ИЛИ 31. 1-31. .4.
Блок 4 моделей вершин (фйг.Б) содержит m узлов моделей вершин 4.г, каждый из которых содержит регистр 32.V и счетчик 33. V , Счетчики 33. V предназначены дл  моделировани  срабатывани  переходов t и могут быть реализованы по известной в ЦВТ схеме. Счетчик 33. v работает в режиме вычитани  и содержит набор триггеров 34.V . 1-34.v. К, набор элементов 2И-ИЛИ 35.V .1 - 35.V .К -1, RS-триггер 36, элемент И 37 и набор элементо.в И-НЕ 38.V 1-38.V.K.
Блок 5 хранени  выхгдных вбкторов 5 (фиг.7) содержит m узлов хранени  выходных векторов 5.V, m элементов НЕ 39- V элементов И 40.V.
Блок 6 сравнени  (фиг.8) содержит набор из п компараторов 41.е , набор из п элементов ИЛИ 42. , элементов И 43, элемент НЕ 44, RS-триггер 45. набор из m элементов И 46. V и набор из m элементов НЕ 47. V. , .
Блок 9 суммировани  (фиг.9) содержит п сумматоров 9. е.
Блок 10 просмотра входных векторов (фиг. 10) содержит генератор 48 пр моугольных импульсов (ГПЙ) и узел 49 управлени . Последний содержит регистр 50, счетчИк 51 и дешифратор 52.
Блок 11 формировани  дополнительного кода (фиг.9) содержит четыре элемента НЕ 53. . 1-53.е .4 , п счетчиков 54. и элемент НЕ 55.
Блок 12 анализа (фиг.9) содержит два элемента ИЛИ 58 и 59 и элемент 60 задержки ..
Блок 13 фиксации (фиг.5) содержит набор из m.RS-тpиггepo8 13. V.
Блок 14 просмот ра выходных векторов (фиг. 10) содержит ГПИ 56 и узел 57 управлени .
Устройство работает следующим образом .
Пусть необходимо смоделировать граф Петри, который содержит два типа вершин: вершины переходов t(в дальнейшем переходов ) и верииины мест Р (в дальнейшем мест). Примером может служить граф, приведенный на фиг. 11.
Метки располагаютс  в вершинах мест Pg и их по вление или удаление моделирует соответственно окончание или начало реальных действий а , имитируемых переходами-k ). Местонахождение меток в графе Петри отображаетс  вектором текущей разметки (3,0,1,0,1,0,0,0,0,0,1,0,1.0,1,1,1.1). Цифра О на втором месте означает, что место Pa не содержит метку, 3 на первом месте - Р1 содержит три метки, 1 на третьем месте - РЗ содержит одну метку. При составлении графа Петри устанавливаютс  его топологи  и начальна  разметка то . Кажда  вершина перехода t моделирует врем  выполнени  какого-либо действи . Переход цможет сработать, если в каждом из мест Р , от которых к4; аправлено какоелибо количество дуг, находитс  число меток, большее или равное числу дуг, направленных от этого места Pg к рассматриваемому переходу t. Так, например, переходы ti, t3 и ts могут сработать. В переход ti вход т дуги от переходов Pi и Рю, в которых находитс  необходимое число меток. Это  вл етс  условием начала моделировани  действи  31, которое характеризуетс  временем Ati. В момент начала выполнени  дeйcтвvl  ai из мест Pi и Рю убираетс  по ОДНОЙ метке (в соответствии с числом дуг, направленных от мест Pi и Рю к ti), и через врем  Ati в место, к которому направлены дуги OTti(P2), записываетс  одна метка. Каждый переход Г:)характеризуетс  вход-ным разметочным вектором / и выходным разметочным вектором Jt. Вектора записываютс  в трансформированной норме. Так, дл  перехода ti: /Г (1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0) / (0,1,0,0,Q,0,0,0,0,0,0,0,0,0,0,0,Of. Единица на первом месте в векторе
( /7 говорит о том, что от PI к 11 направлена одна дуга, 1 на втором месте говорит о том, что от ti к Р2 направлена одна дуга. Если, например, на -м месте записана 3, это означает, что от Р направлены три дуги. Количество дуг, направленных от одной вершины к другой , называетс  весом дуги К.
На фиг.11 представлен пример моделируемого графа Петри дл  примера моделировани  управлени  поездами метрополитена. Вершины мест Рг + Рэ моделируют станции, вершина Pi - станцию отсто  поездов. Наличие меток в местах PIРЭ моделирует наличие поездов на станци х 1-9. Наличие меток в местах Pio-Pi7 моделирует наличие зеленого света на соответствующих перегонах. Каждый из переходов ti-tg моделирует врем  At, включающее переезд с одной станции на другую и остановку на последующей станции. Данный граф Петри моделирует процесс выхода поездов метрополитена на линию и движение поездов по кольцу. Система управлени  обеспечивает максимальную пропускную способность (зеленый свет) наибольшему числу поездов и запрещает попадание двух
поездов одновременно на одну станцию (кроме станции о.тсто ), что привело бы их к столкновению. Моделирование построенного графа Петри в устройстве дл  моделировани  графов Петри позвол ет определить оптимальные скорости поездов и врем  задержек при различной нагрузке метрополитена.
Дл  загрузки топологии графа Петри и
начальной разметки составл етс  таблица
топологии графа Петри (таблицы на
фиг.11 и 12). При этом каждой
перехода t: соответствует входной; и
выходной разметочные векторы, а
также А t -количество единиц модельного времени (количество циклов работы устройства - однократной последовательности действительных уровней сигнала -и 2 ГТИ 7), имитирующих выполнение реального
действи  а.
На фиг.12 представлен пример графа Петри, на котором иллюстрируетс  работа устройства.
Перед началом работы в режиме ввода
исходных данных задачи (топологии графа Петри) устанавливаютс  переводом в соответствующее положение переключатели 21. Данные, представленные в таблице топологии графа Петри (фиг.11 и 12) набираютс  в
двоичном коде на наборе 20 тумблеров в зависимости от положени  тумблеров набора 16 занос тс  в следующие блоки устройства: входные разметочные векторы - в блок хранени  входных векторов 2, выходнЬ|е
разметочные векторы - в блок 5 хранени  выходных векторов, времена At срабатывани  переходов - в регистры 32. v блока .4 моделей вершин, вектор начальной разметки - в блок 3 текущей разметки, количество переходов в моделируемом графе Петри - в регистры блоков просмотра входных векторов 10 и просмотра выходных векторов 14. Конкретные узлы и регистры блоков хранени  входных векторов 2, хранени  выходных векторов 5, моделей вершин 4, в которые заноситс  информаци , определ ютс  положением тумблеров набора 15 тумблеров.
В св зи с особенност ми реализации
блоков хранени  входных векторов 2 и хранени  выходных векторов 5 данные в них занос тс  в инверсном коде. После занесени  исходных данных режим ввода отключаетс . Режим моделировани 
устанавливаетс  переводом переключател  ГТИ 7 в положение Пуск. По приходу импульса Ф 1 начинают функционировать счетчик 51 и на вход блока 6 сравнени  из блока 2 хранени  входных векторов по очереди подаютс , начина  с m-ro, входные разметочные векторы / и анализируютс  набором 41 компараторов на принадлежность их вектору текущей разметки (в данном случае с начальной) ть-/ е Шо .Если это имеет место, то с помощью элемента ИЛИ A2.V и элемента И 43, RS-триггера 45, элемента И 46.V и элемента НЕ 47.V формируетс  сигнал включени  соответствующей модели вершины t;, и RS-триггер 36,vустанавливаетс  соответственно в 1, и таким образом счетчик 33.v переводитс  в режим Счет. Одновременно в течение дли тельности фазового импульса ГПИ 48 блок 11 формировани  дополнительного кода и блок 9 суммировани  обеспечивают вычитаoj- - - е5 ние вектора /1 из вектора шо : то mo-fi . а элемент 12 обеспечивает запись нового значени  вектора текущей разметки в блок 3 текущей разметки. Таким образЪм, на первом цикле работы устройства оказываютс  запущенными счетчики сначала 33.2. а затем . 33.1, соответствующие переходам t2 и ti. После проверки® // вектор текущей разметки имеет вид 5 О О 1 е 1 000 О 01 . После проверки вектора ft Тпо 4 О О 1 / 2 000 О 01 ез После проверки векторов /и и// изменений вектора текущей разметки не происходит .V Блок 4 моделей вершин работает следующим образом. При занесении топологии графа в регистре 32. V и счетчике устанавливаетс  врем  At, т.е. устанавливаетс  число NQ. После перевода в режим Счет счетчик 33. V функционируете режиме вычитани  и его содержимое уменьшаетс  каждый раз на Г по приходу импульса Ф2 ГГИ7 , Кроме того, по приходу импульса Ф2 начинает функционировать узел 57 управлени , по звол ющий последовательно в течение одного импульса Ф 2 подавать на вход блока 9 суммировани  из блока хранени  выходных векторов 10 значени  выходных разметочных векторов°/Г в случае поступлени  из блока 4 моделей через блок 13 фиксации сигналов окончани  моделировани  переходов t. (ло совпадению Л на входах элементов И 40.). Сигнал окончани  моделировани  переходов tj Формируетс  на первых выходах счетчиков 33.V, когда все их разр ды устанавливаютс  в О, и по этому сигналу в счетчики 33.V снова занос тс  значени  Д1;)из регистров 32. V. Таким образом, в рассматриваемом примере после запуска на первом цикле работы устройства переходов ti и t2 в течение 10 циклов не происходит изменение вектора текущей разметки пь (дл  ts и t4 услови  запуска не возникли, а ti и t2 уже запущены и на элементах 14 46.V сигналы запуска переходов не формируютс , так как на третьи входы через элементы НЕ 47 с выходов RS-триггеров 36. v поступают запрещаю щие сигналы). По приходу дес того импульса Ф2 обнул етс  счетчик 33.1, и содержимое узла хранени  вь1ходных векторов 5.V в блоке 9 суммировани  прибавл етс к содержимому блока; 3 текущей разметки: О 01 / О 1 О О 1 01 и новое значение Шо заноситс  в блок 3 текущей разметки благодар  поступлению сигнала окончани  моделирований перехода ti через управл ющий элемент 12 на п тый ВХОД блока 3 текущей разметки. По приходу 11-го импульса Ф 1 снова запускаетс  переход ti и, следовательно, то tno-fi « (0,1,0,1). По приходу 15-го импу  ьса Ф2 оканчиваетс  моделирование 12:Тт1о moVV (,), по приходу 20-го импульса Ф2 оканчиваетс  моделирование ti: (0,2,3,1) , после чего по приходу 21-го Ф 1 запускаетс  ta: tif 023 1 fi 02 1 О - ttZ-l.v л о гпо 0021 и т.д. Таким образом, устройство дл  моделировани  графов Петри позвол ет моделировать оценочные сети Петри, описывающие параллельные процессы. Параллельность
заключаетс  в том, что во врем  моделировани  вершины перехода ti может начатьс  моделирование других вершин переходов.
Формул а и 3 о бретени   Устройство дл  моделировани  графов Петри, содержащее блок хранени  входных векторов, блок сравнени , блок моделей вершин, блок хранени  выходных векторов, блок суммировани , блок текущий разметки , блок индикации, генератор тактовых импульсов и блок ввода, причем информационный выход блока ввода подключен к информационному входу блока хранени  входных векторов, к первому информационному входу блока текущей разметки, к информационным входам блока моделей вершин и блока хранени  выходных векторов , первый управл ющий выход блока ввода подключен к первым управл ющим входам блока хранени  выходных векторов ,блока моделей вершин, блока текущей разметки и блока хранени  входных векторов , информационный выход которого подключен к первому информационному входу блока сравнени , второй информационный вход которого подключен к первому информационному выходу блока текущей разметки , V-й выход признака Не меньше (V 1,2,..., М, где М - количество вершин-переходов в графе Петри) подключен к V-му входу опроса блока моделей вершин, V-й выход признака моделировани  первой группы которого Подключен к V-му входу опроса первой группы блока сравнени , тактовый вход блока моделей вершин подключена первому выходу генератора тактовых импульсов, второй управл ющий выход блр, ввода - к второму управл ющему входу ёлока моделей вершин, третий управл ющий выход к второму управл ющему входу блока текущей разметки, второй информационный выход которого подключен к информационному входу блока индикации, информационный выход блока хранени  выходных векторов подключен к входу первого слагаемого блока суммировани , первый инфор-. мацмонный выход блока текущей разметки подключен к входу Btoporo слагаемого блока суммировани , выход которого подключен к второму информационному входу блока текущей разметки, четвертый, и п тый управл ющие выходы блока ввода подключены к второму и третьему управл ющим
входам блока хранени  выходных векторов соответственно,отличающеес  тем, что, с целью расширени  функциональных возможностей устройствга путем моделиро- .
5 вани  оценочных графов Петри, в него введены блок фиксации, блок формировани  дополнительного кода, блок анализа и блок просмотра входных векторов, причем первый информационный выход блока ввода
0 подключен к информационному входу блока просмотра входных векторов, первый и шестой управл ю.щие выходы - к первому и второму управл ющим входам блока просмотра входных векторов, тактовый вход кр5 торого подключен к второму выходу генератора тактовых импульсов, V-й выход группы блока просмотра входных векторов к V-му входу опроса блока хранени  входных векторов и к V-му входу опроса второй
0 группы блока сравнени , управл ющий выход блока просмотра входных векторов подключен к одноименному входу блока сравнени  и к первому управл ющему входу блока формировани  дополнительного кода, информационный выход которого подключен к информационному выходу блока хранени  входных векторов, второй управл ющий вход - к первому выходу блока анализа , второй выход которого подключен к
0 третьему управл ющему входу блока текущей разметки, V-й выход признака Не меньше блока сравнени  подключен к V-му . разр ду первого информационного входа блока анализа, V-й разр д второго информационного входа которого подключен к V-му управл ющему входу первой группы блока хранени  выходных векторов и к V-му разр ду информационного выхода блока фиксации , V-й разр д информационного входа
0 которого подключен к V-му выходу признака моделировани  второй группы ,блрка моделей вершин, тактовый вход блока фиксации подключен к втррому выходу генератора тактовых импульсов, первь1й выход которого подключен к тактовому входу блока просмотра выходных векторов, первый информационный и первый и седьмрй управл ющие выходы блока ввода подключены к информационному входу и к первому
50 и второму управл ющим выходам блока просмотра выходных векторов соответственно , V-й выход которого подключен к V-му управл ющему входу второй группы блока хранени  выходных векторов.
Фиг
Ю
fm) {nutl ) Й)Т1Пт г; f)
Фи5.9
А

Claims (1)

  1. Формула изобретения
    Устройство для моделирования графов Петри, содержащее блок хранения входных векторов, блок сравнения, блок моделей вершин, блок хранения выходных векторов, блок суммирования, блок текущей разметки, блок индикации, генератор тактовых импульсов и блок ввода, причем информационный выход блока ввода подключен к информационному входу блока хранения входных векторов, к первому информационному входу блока текущей разметки, к информационным входам блока моделей вершин и блока хранения выходных векторов, первый управляющий выход блока ввода подключен к первым управляющим входам блока хранения выходных векторов,блока моделей вершин, блока текущей разметки и блока хранения входных векторов. информационный выход которого подключен к первому информационному входу' блока сравнения, второй информационный вход которого подключен к первому информационному выходу блока текущей разметки, V-й выход признака Не меньше (V = 1,2,..., М, где М - количество вершин-пере- . ходов в графе Петри) подключена V-му входу опроса блока моделей вершин, V-й выход признака моделирования первой группы которого подключен к V-му входу опроса первой группы блока сравнения, тактовый вход блока моделей вершин подключен к первому выходу генератора тактовых импульсов, второй управляющий выход блр^а ввода - к второму управляющему входу блока моделей вершин, третий управляющий выход к второму управляющему входу блока текущей разметки, второй информационный выход которого подключен к информационному входу блока индикации, информационный выход блока хранения выходных векторов подключен к входу первого слагаемого блока суммирования, первый информационный выход блока текущей разметки подключен к входу второго слагаемого блока суммирования, выход которого подключен к второму информационному входу блока текущей разметки, четвертый и пятый управляющие выходы блока ввода подключены к второму и третьему управляющим входам блока хранения выходных векторов соответственно,отличающееся тем, что, с целью расширения функциональных возможностей устройства путем моделиро5 вания оценочных графов Петри, в него введены блок фиксации, блок формирования дополнительного кода, блок анализа и блок просмотра входных векторов, причем первый информационный выход блока ввода 10 подключен к информационному входу блока просмотра входных векторов, первый и шестой управляющие выходы - к первому и второму управляющим входам блока просмотра входных векторов, тактовый вход ко15 торого подключен к второму выходу генератора тактовых импульсов, V-й выход группы блока просмотра входных векторов к V-му входу опроса блока хранения входных векторов и к V-му входу опроса второй 20 группы блока сравнения, управляющий выход блока просмотра входных векторов подключен к одноименному входу блока сравнения и к первому управляющему входу блока формирования дополнительного ко’25 да, информационный выход которого подключен к информационному выходу блока хранения входных векторов, второй управляющий вход - к первому выходу блока анализа, второй выход которого подключен к .30 третьему управляющему входу блока текущей разметки, V-й выход признака Не меньше блока сравнения подключен к V-му . разряду первого информационного входа блока анализа, V-й разряд второго информа35 ционного входа которого подключен к V-му управляющему входу первой группы блока хранения выходных векторов и к V-му разряду информационного выхода блока фиксации, V-й разряд информационного входа 40 которого подключен к V-му выходу признака моделирования второй группы блока моделей вершин, тактовый вход блока фиксации подключен к второму выходу генератора тактовых импульсов, первый выход которо45 го подключен к тактовому входу блока просмотра выходных векторов, первый информационный и первый и седьмой управляющие выходы блока ввода подключены к информационному входу и к первому 50 и второму управляющим выходам блока просмотра выходных векторов соответственно, V-й выход которого подключен к V-му управляющему входу второй группы блока хранения выходных векторов.
    \
    Фиг. 10
    Обозначение Вершин * Pl % 4 6 ps Ъ ps % PB % % Pn zMy 1 ti iuT 1 1 2 5jlF 1 2 1 1 20 aijf 1 1 5 *3 tjjF 1 1 18 1 1 9 *4 jtXi 7 1 17 iZ*?r 1 1 5 Л (rTF 1 1 3' io Of-jir 1 1 6 Ъ isT I 7 15 OS'm' 1 7 7 h i’T 7 7 25 ьх 7 1 8 L8 7 7 20 a»T 4 7 1 9 t3 IffF 1 1 15 a£g. 1 7 к 3 1 1 1 1 1 7 7 7 7
    ФигП ir
    Обозначение Вершин Р; Р> 4 7 ti 2 ίο йцц 1 2 ь 1 15 3 3 *7 2 1 12 айГ ? 4 A v 2 5 3 5 1
    Фиг. 12
SU904816639A 1990-04-20 1990-04-20 Устройство дл моделировани графов Петри SU1714621A1 (ru)

Priority Applications (1)

Application Number Priority Date Filing Date Title
SU904816639A SU1714621A1 (ru) 1990-04-20 1990-04-20 Устройство дл моделировани графов Петри

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
SU904816639A SU1714621A1 (ru) 1990-04-20 1990-04-20 Устройство дл моделировани графов Петри

Publications (1)

Publication Number Publication Date
SU1714621A1 true SU1714621A1 (ru) 1992-02-23

Family

ID=21509579

Family Applications (1)

Application Number Title Priority Date Filing Date
SU904816639A SU1714621A1 (ru) 1990-04-20 1990-04-20 Устройство дл моделировани графов Петри

Country Status (1)

Country Link
SU (1) SU1714621A1 (ru)

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
Авторское свидетельство СССР№ 879594, кл.С 06 F 15/20, 1980.. Авторское свидетельства СССР N21171803, кл. G 06 F 15/20, 1983. *

Similar Documents

Publication Publication Date Title
Pocci et al. Testing experiments on synchronized Petri nets
SU1714621A1 (ru) Устройство дл моделировани графов Петри
Eckes et al. Digital program control for iterative differential analyzers
SU1376096A2 (ru) Устройство дл моделировани сетевых графов
Liu et al. Single sample path-based sensitivity analysis of Markov processes using uniformization
RU1785000C (ru) Устройство дл анализа параметров графа
RU2012053C1 (ru) Устройство для анализа сетей
Xie Perturbation analysis of stochastic Petri nets
SU1314350A1 (ru) Устройство дл моделировани графов Петри
SU1559353A1 (ru) Устройство дл исследовани параметров графа
Cook Can computers routinely discover mathematical proofs?
SU1171803A1 (ru) Устройство дл моделировани графов
Saucier Next-state equations of asynchronous sequential machines
SU1423984A1 (ru) Линейный интерпол тор
SU1117645A1 (ru) Устройство дл исследовани модели транспортной системы
SU1218393A1 (ru) Устройство дл исследовани графов
SU907553A1 (ru) Устройство дл моделировани процессов управлени запасами
SU1432550A1 (ru) Устройство дл моделировани графов Петри
SU1013965A1 (ru) Устройство дл моделировани сетевых графов
SU1280382A1 (ru) Устройство дл моделировани графов
SU1756879A1 (ru) Устройство дл распознавани на линейность булевых функций
RU1817104C (ru) Устройство дл анализа графов
RU2042196C1 (ru) Устройство для моделирования цифровых схем
SU1661788A1 (ru) Имитатор дискретного канала св зи
SU1218394A1 (ru) Устройство дл моделировани процесса решени задач на электронно-вычислительных машинах