Устройство для исследования сетей петри

(51) 4 С 06 Г 15/20 МИТЕТ СССР ИЙ И ОТКРЫТИ ГОСУДАРСТВЕККЫИ ПО ДЕЛАМ ИЗОБРЕТ ИСАНИНА ИЗОБЕЕтЕНияТОРСНОМУ СВИДЕТЕЛЬСТВУ ые раз в сос Бюл, В 38 М,И,Ласточкин вершининени блок чально 8,8)свидетельство СССРС 06 Г 15/20, 1983,идетельство СССРС 06 Г 15/20, 1983.ДЛЯ ИССЛЕДОВАНИЯ ра одов ичии выравой е относится к обла техники, может быт и моделировании се етчи(21) 4058752/2 (22) 24,04,86 (46) 15.10,87. (72) В,НЧурки и З,Б,Борисов (53) 681,333(0 (56) Авторское У 1171803, кл,Авторское с Ф 1134946, кл, (54) УСТРОЙСТВ СЕТЕЙ ПЕТРИ (57) Изобретен вычислительной использовано п и позволяет определять тупико метки в сетях Петри, Для этог тав устройства введены модели (мест), модели переходов, сое ные согласно топологии сети, управления. После загрузки на разметки блок управления выби случайным образом переход из существующих разрешенных пере и пускает модель сети, При на тупиковой разметки устройсТво батывает сигнал наличия тупик разметки и запоминает ее на с ках моделей вершин (мест), 2ф-лы, 1 ил,:17(. выходов Лб моделей(Н) и ньходов /9(1,ч 9(Н),между собой согласно тоси исследуемой сети Петри осуцеап ся пс/,гст:яка устройства к раисход о;: ссс оянии триггеры 8,пкеке регистры 5 и 25 и счет 2" и 26 аходятся в нулевомтсяпи Пр-:. включении устройствасра ,:р : э,.иночеого импульса выра.1 аст к:цу. ьс которьй устанавли 1 рвый р,.зряд регистра 5 в едис :остсч.и.е Б регистре 7 уста,1/;кц;:ся н двоичном коде значение."зл, Ой ре.мет;к для первого места1.;1;:.), . входа 5/ выдается сиг,Зг.Е в "ан ЗОПИСК НаЧаЛЬНОй Раэ гКИ РИ ГЕ 1.К ЭТОМУ МОМЕНТУеп " нсатер -: вырабатывает пер,й 1 ц;ул ссоторейпроходя через,еп 1 16, при .",.алЧии единичнОгоровя ца прн,ом находе тригге" а 12Сь:;:,/1 ПО-ЕДНкй В НУЛЕВОЕ СОСР,ЕГГ ." ,пор 9 постоянно вырабатывао": ,;си в :.ность импульсов с пе:оцое. апач.гг льни превышающкм перильсов ; и .ритора 1-", Х момен;о:-; .е.к,:.: .". л са с. выхода зле; с .;:.:Чик 26 Оаботаетс . ,1 режиме "ак как на первомс/е.:. 1 22 установлен уро,: в.; ." еденкцы с выхода элеа нторсм декствуютела тера, 9 ксторьеУ. Т 1 а:-, ва.".Тся к в счетчике 26 ц /. .в: /-то севдослучайноеза исключением младг 1 РЯ,";.ОСТУПавт На ВХОД ДЕШИС; гпр 2, 1,:- в:х,де которого появ 1;.- в с/,."ном кз М разрядов1 о: " ".;:1: , 1:В гыходе эле 11 ее та 18.,яес;. импульс с выхода"с "- , :, з,.держанный на времяп , " е 1 и еи В с к г е ал а в 3 лм е н т а х2 япь импульс разреща 1345208ет занесение случайного значениямладшего разряда счетчика 26 в триггер 24, кода с выхода дешифратора 27в регистр 25 и абнуляет счетчик 23,в счетчик 38 модели 1(1), так как навыходе первого элемента И 6 - уровеньлогической единицы, поскольку на егопервом входе уровень логической единицы задан с выхода первого разряда Осдвигового регистра 5, а на втором -сигналом разрешения записи с входа 54.По заднему франту сигнала разрешения записи в регистре 5 происходитсдвиг единицы на один разряд и уровень логической единицы появляетсяна первом входе второго элемента И 6,.Таким образом, подготавливается к записи первоначальной разметки счетчик38 модели 1(2), После установки в регистре 7 начальной разметки для второго места и выдачи с входа 54 сигнала разрешения записи начальная разметка записывается в счетчик 38 моцели 1(2). Таким образом, последовательно производят начальную разметкудля всех моделей 1(К), где К= 1, Н .При загрузке последней разметки наинформационном входе триггера 8 появляется уровень логической единицы, а 30на управляющем входе - сигнал разрешения записи, в результате чего триггер 8 устанавливается в единичное состояние,На входах элемента И 9 появляютсяуровни логической единицы, адич - спрямого выхода триггера 8, другойс проинвертираваннога элементом НЕ 20выхода счетчика 23, который находится в нулевом исходном состоянии, "40Уровень логической единицы с выходаэлемента И 9 запускает формирователь10 и разрешает с некоторой задержкой,обусловленной элементом 13 задержки,необходимой для компенсации времени 45распространения сигнала в элементах11 и 12, генератору 14 выдавать последовательность импульсов, Формирователь 10 вырабатывает импульс, который, проходя ерез злеест ИЛИ 11,поступает на вход установки в единицутриггера,Таким образом, в одном из разрядов регистра 25 находится единица,означающая, чта переходу с номером,соответствующим разряду, в которомнаходится единица, разрешено сработать при условии, чта данный переходвозможен,1 анное условие проверяется гругпой элементов И 35 на первые входы которых поступает кад из регистра 25, а на вторые - сигналы о готовности и реходов к срабатыванию, Выходы группы элементов П 35 объединяются на элементе ИЛИ 36, Наличиесигнала единичного уровня на выходеданного элемента означает, чта выбранный переход сработает.Сигналы о возможности Н срабатываний переходов поступают на вторыевходы элементов П 35 с выходов 51 моделей 2 Если на всех подключенныхк модели 2 входах 59(1)59(Н)уровни логической единицы, что, всвою очередь,. означает наличие ненулевой разметки, которая обнаруживается элементам ИЛИ 41, объединяющим всеразряды выхода счетчика 38 модели 1,то на выходе элемента И 42 устанавливается уровень логической единицы,т.е, на выходе 51 модели 2 появляетсясигнал признака возможности выполнения переходя, При совпадении сигналов,на выходе одного из элементов И 35появляется уровень логической ециницы, поступающий на соответствующуюданному элементу И 35 модель 2 перехода, на ее вход 52, подготавливая эле -мент И 43 к открыванию, На выходе элемента ИЛИ 36 появляется уровень логической единицы, который подготавливает к открыванию элемент И 28 и запрещает через элемент НЕ 30 работу элемента И 29,Генератор 14 вырабатывает следующий по счету импульс, который уже неможет пройти через элемент И 16, таккак триггер 12 установлен в нугевоесостояние, а пракадит через элементИ 15, так как на его втором входе установлен уровень логической единицыс инверсного выхода триггера 12, Импульс с выхода элемента И 15 поступает на входы элементов П 28 и 29, нопройти мажет только через элементИ 28 и далее - на второй вход элемента ИИ 11 и с его выхода - на входустановки в единицу триггера 12,устанавливая его па заднему фронту вединичное состояние и подготавливаяустройство к выработке нового псевдослучайного числа. Затем он наступает на вход 52 всех моделей 2 переходов. Па этомуимпульсу открываетсяэлемент И 43 одной из моделей 2 и наее выходе 50 появляется импульс, который поступает на входы 47 предшестср г,а 9) ЕРгС г;гтг. - , гРО,С СО,1,-,ротВ т р 1)9)ц г;го 3 ЛЕГвц 1 )/ "1;гг;агг-,ВУЮЩИХ таЦЕ Ой 01 ОСМР г 1. а 1 ) ,ВХОтЫ 4) ПОСЛЕДУЮЩИХ Мсггг:ЦЕ:. Мпульс поступив.сй га гхо,/ ц)ШЕСтВУЮЩЕй ОДОггт., тРГЗ:;Огг гт Г" Г;элемент ИПИ /9 1 псгс: туг 1 т .а ц т-)"тающтй вход тевеост;гцгзго с.с:.счгц,ВЫЧИТая ИЗ гЗО гггццгг П ,ЕТг/ сЧСРСЗ З,г.г:гт "1)1, С;ца Сум,труг;Ий В;С-бац-яя ц ггг еп;,1 гт у р: з;.г ); г.; (,у;" )Б СггУЧСЕ. С";.:. В :Од: З11 И 90 1/стацацИгес тс,сгг ,г, . очес 1 согс пуля, бт,цт О/Го" г,КрЫтИО ЗгЕМЕН.- .,. ЗС, цсг .г,-р:9;которого пос.тг/п 1" тгрсц: - ; г)ип",га;НЫЙ ЭПЕМЕНЗС)г Е 1 "г"г.- 11 г гг;,в:,элеецта .".И 3, 1пул с с Гесра";О,г "/, т.;,элементы1")2 у )г.,;,-,ггг тсум зугтгий гх -) грез эте ентв 93 и 3/) - г, . )гр.ЩИЕ ВХСЦ)Ы С:ДВИГО ЦЛЕВО В.) Р В РГПСтра 25, 1 рЗУЛ)сжат: Зг: ГрГИСТРЕ 25 ОС.УЩЕСт ВЕТГ.П С, гГСДВ 11" БЛ Р;)О Ит 1 ЦтР;, ГГ ,11ПРОИСХОДИТ ЦОДС 1 Т.:. - : СЦ г;.спц 1 а н и;,)гоа ц трутг)С З - ЗгГ, С; Х О Ц И 1 огг., 1. -,. а ес,с 1 ц со 91 аге гггг":,Р)с НИТО) "гаг)Ц: ррмула изобретения 1. тройстцо для исследованияуотей Петри содержащее модели вертр триггера 9 тест 9 элементов И,,гга эпег:ецта ИПИ п=рвые счетчик иератор иютулсов 9 о т л и ч а юе с ц 9 е 9 1 то; с целью расши. гИЯ ;гасса РЕЫаЕЗ 9 Х ЗаДаЧ За СЧЕТ.Нзецелеция тупиковьх разметок В сеТгзтрцг В НЕГО ВВЕДЕНЫ " МОдЕЛЕйрехо;гов 9 два регистра сдвига, втоС:гЕТЧИК 9 Р- ГИСтР, тРИ ЭЛЕМЕНта НЕ"лц вершит и переходов соединеныгтзсцо топслогит сети Петри, входгация цсгчас: цой разметки устройстс, гС:ЮЧЕН К ИНСор."ацтО ИНОМУ ВХОДУистр, выхо;т которого подключен: ХОДаМ Гг 1 а.;19 НОй ЗГРУЗКИ РаЗМЕтКИсх моделей церптиц 9 вход признака:,-,гнои гачальной разметки устройства"., 1,:т:очг-"ц к первым входам всех эле.1 тсгв 1 1 ервс)и Группы к вхоДУ син;"зацнц пеп.огс) триггера и входуц;знака сдвига псрвого регистра, г ГХО ОТОРОГО ПОДКЛЮЧЕН Ктс И "г)га ЦацаггЬНОй РаЗМЕтКИео:ины, ьыход Н-го раз 11 е О г)ГО реГистр а сдВига подклюг Г)9)Р 1 ПГСННО;, ВХОДУ ПЕРВОГОСР:;. ВЬСо,г, КОТОРОГО ГОДКЛЮЧЕНр - ;Сцт ВХС)гу ПЕРВОГО ЭЛЕМЕНта И,гсг горэ ГО о ггклгсгчен к вхотгуг 1фо ).1 во:те: я мпупьсов и вхо;.:с та зертккц 9 выход, которого.,:. ссггчгг к входу пуска первого генетг.гуп 9 СОБ, ОБХОД КОТорОГО,.:,1 Е). К ЦЕРЗЫМ ВХОДаМ ВТОРОГО ИГ:гго .Лемецтов И, Выход которого.:с О );теме;гта задержки Выход ко 9П;,К:ги .сЦ:; ВХОДУ УСтаНОВКИ08 хода, первьй разряд выхода второгорегистра сдвига подключен к второмувходу третьего элемента И, а М-й разряд - к второму входу второго элемента ИЛИ, выход признака возможностивыполнения перехода Р-й модели перехода подключен к второму входу Т-гоэлемента И второй группы, выход четвертого элемента И 1 П 1 подключен квторому входу пятого элемента И ивходу третьего элемента НЕ, выходкоторого подключен к второму входучетвертого элемента И, выход которогоподключен к суммирующему входу первого счетчика и вторым входам седьмогои восьмого элементов И,2. Устройство по п. 1, о т л ич а ю щ е е с я тем, что каждая модель вершины содержит три элементаИЛИ, реверсивньй счетчик, причемР-й вход приема фишки модели вершиныподключен к Т-му входу первого элемента ИЛИ, выход которого подключенк суммирующему входу реверсивногосчетчика, Т-й вход изъятия фишки модели вершины подключен к Т-му входувторого элемента ИЛИ, выход которогоподключен к вычитающему входу реверсивного счетчика, вход признака на-,чальной разметки модели вершины подключен к входу признака записи реверсивного счетчика, вход начальной загрузки разметки подключен к информационному входу реверсивного счетчика,разряды выхода которого подключены квходам третьего элемента ИЛИ, выходкоторого является выходом признаканаличия фишек модели вершины,3. Устройство,по п. 1, о т л и ч а ю щ е е с я тем, что каждая модель перехода содержит два элемента И, причем К-й вход условия переходамодели перехода подключен к К-му входу первого элемента И, вьгход которого подключен к первому входу второго элемента И и является выходом признака возможности выполнения перехода модели перехода, вход признака разрешения выполнения перехода которой подключен к второму входу второго элемента И, выход которого является выходом признака выполнения перехода модели перехода, вход пуска перехода которой подключен к третьему входу второго элемента И. 713 ч 52 в 1 второго триггера, инверсньй выход которого подключен к второму входу второго элемента И, выход которого подключен к первым входам чет 5 вертого и пятого элементов И, выход пятого элемента И подключен к второму входу первого элемента ИЛИ и к входам пуска переходов всех моделей переходов, выход второго элемента задержки подключен к входам синхронизации третьего триггера и второго регистра сдвига и входу установки в 0 первого счетчика, выход признака переполнения которого подключен 15 к входу второго элемента НЕ, выход которого подключен к второму входу первого элемента И и является выходом признака тупиковой разметки устройства, выход первого элемента НЕ под ключен к первому входу шестого элемента И, второй вход которого подключен к выходу второго генератора импульсов, а выход - к суммирующему входу второго счетчика, разряды вы хода которого, исключая младший разряд, подключены к входу дешифратора, выход Р-го разряда которого (Р=2М) подключен к Р-му разряду информационного входа второго регистра 30 сдвига, выход младшего разряда второго счетчика подключен к информационному входу третьего триггера, прямой выход которого подключен к первому входу седьмого элемента И, а инверсный выход - к первому входу восьмого элемента И, выход которого подключен к входу признака сдвига вправо второго регистра сдвига, выход признака сдвига влево которого под ключен к выходу седьмого элемента И, выход первого разряда дешифратора подключен к первому входу второго элемента ИЛИ, выход которого подключен к первому разряду информацион ного входа второго регистра сдвига, выход М-го разряда дешифратора подключен к первому входу третьего элемента ИЛИ, выход которого подключен к М-му разряду информационного входа второго регистра сдвига, Т-й разряд выхода которого (Т=1 М) подключен к первому входу Т-го элемента И второй группы, выход которого подключен к Т-му входу четвертого элемен 55 та ИЛИ и входу признака разрешения выполнения перехода Т-й модели пере