Питерсон Дж. - Теория сетей Петри и моделирование систем - 1984 (1184511), страница 51
Текст из файла (страница 51)
Связь между процессами осуществляется с помощью сообщений. Целью работы нвляется разработка метода анализа вычислительных систем. В модели Риддла каждый процессописывается псевдопрограммой. Они используются для получения выражений передачи сообщений (которые являются языками), а затем этн выражения передачи сообщений используются лля анализа. Вопросы разрешимости основных задач были оставлены открытыми, но несколько примеров показывают возможность и пользу этого подхода.
Питерсон показал, что эти системы можно преобразовать в сети Петри (236), а Ридцл доказал обратное (259), показав, что этн две схемы моделирования эквивалентны. 259. К!гЫ!е 1Ч., ТЬе Ецг1!ча!енсе о! Ре|п' Хе)я агЫ Мевяаие ТгапмпВя|оп Моде!я, 5КМ/97, СошриИпй ЬаЬога)огу, 1)п!четв!1у о1 ХевсаяИе ирои Тупе, Хеячсав|!е ироп Тупе, Епя аги1, Лидия! 1974, рр. 11.
В работах (236, 240), показано, что системы с сообщениями являются собственным подмножеством сетей Петри. Рнддл показал, что если при рассмотрении эквивалентности не учитываются фальшивые тупики, то это не верно: этн модели эквивалентны. В доказательстве показано, как построить систем у Анногииоааннал библиограФил сообщений с тем же поведением (ие содержащем тупиков), что и сеть Пет р и. Эквивалентность этих двух моделей является желательной, поскольку системы с сообщениями много проще использовать для моделирования систем параллельных процессов. 260.
Койпйиез Л., А ОгарЬ Мойе) !ог РагаИе1 Сотри(аИопв, РЬ. П. д!вьег1аИоп, Пераг(теп1 о! Е1ес(пса! Епй!пеег!пя, Маввас1шье(рв !п»1ИЫе о! ТесЬпо!ойу, СагпЬпдйе, МаввасЬивеИв, 5ер(етЬег 1967, рр. 130; ТесЬп!са1 Керог1 64, Рго)ес! МАС, МвввасЬивеИв !пвИ(и(е о1 ТесЬпо1ойу, СлтЬг1ййе, Мак«асЬиьеИв, 5ер(етЬег 1969, рр. 121. 261. Коиса1го1 О., 1)пе Тгапв1оггпа1юп де Ргойгапппев 5ейиепИе1в еп Ргойгаттев РагаИе1ев, Ргойгатлинй Юртрт!ини Ргос«ей!пав, Ьес(иге Ыо(ев !и Согпри1ег 5сгепсе, 19, ВегИп: 5рг!пйег-Ъег)ад, 1974, р. 327 — 349 (1п Егепсб).
Сеть Петри используется для преобразовании последовательных программ в параллельные путем моделирования отношения предшесгвования, котороепрнсутствуетвалгоритмеи отличие от введенного при написании программы на линейном языке программирования. 262. Коиса)го! О.. Соп1г!ЬиИоп а 1'Е(ийе деь Ейийиа1епсев 5уп1ах!оиез е1 Тгапв!оггпаИопз йе Ргойгаттев РагаИе1ев, ТЬеве Пес(ога( д'Е1а1 еь 5сгепсев, Ип!«егвИе Р!егге е1 Мапе Сипе, РагВ, Ггапсе, Ыотетбег, 1978, рр. 228 (1 и Сгепсб]. 263.
Коиса1го1 О., Ъа!й К., Кедис(юпв о! Ме(з апй РагаИе! Ргойгать, Адтапсед Соигве оп Пепе«а! Ь!е! ТЬеогу о1 Ргосеввев апд 5ув(етв, Натбигй, Ос(оЬег 1979; 1.ес1ше г!о(ев 1п СотрЫег 5с)енсе, ВегИп: 5рг!пйег-Ъгег!ад, 1980. 264. 5асегйо1е 5., Теппеу К.. ТЬе Пес!йаЬ!1Иу о! Ийе КеасЬаЫИИу РгоЬ1ет !ог Уес(ог АйдИ1оп 5ув(етв, СО1Ы5 ТесЬп!са! Керог1 77-3, Сотри(ег апй 1п!огта1юп 5с!епсеь Пераг1пгеп1, Пп!тегьйу о! МаввасЬиве(бк АтЬегв1, МаввасЬиь«1!ь, 1977, рр.
38; Ргосеед!нйв о! !Ье !г'!пГЬ Апина! АСА4 Яутроь?ит он Тбеогу о7 Соглрй!!пд, Ь!езч уогрл АСМ, Мау 1977, р. б! — ?6. Дополненный реферат этой статьи был представлен в ноябре 1976 г В ней дается конструктивное «доказательство» разрешимости задачи досткжимости для систем сложения векторов и сетей Петри. К сожалению, это «доказательство» ошибочно. В предисловии к материалам Десятого симпозиума говорится, что «...в данной работе (Сасердот и Теини, !977) отмечен ряд неточностей В настоящее время готовится к публикации новая, более простая в более точная версия». 265.
5а1огпаа А., фогта! Еапйиайев, Хезт Ъ'огрл Асадеппс Ргевв, 1973, рр* 322. Всеобъемлющее рассмотрение ббльшей части вопросов современной теории формальных языков. Эта монография особенно полезна благодаря представлению матричных грамматик и систем Линдеимейера. Оба этих класса языков связаны с языками сетей Петри.
266. 5сЫВегв М., Шейде Н., Апа1~лпй Ргоягат 5о1иИопв о1 Соогй!паИ- оп РгоЫетв Ьу СР-!4е1в, Ргосеп!!пйь о! !Ье Засел!А Яртрояит он !ИагйетозгъъЪ умгЫлгуалж ч( Сагэпигсг яс!енсе 1978, Ее«!иге Ь!о(ев 1п Сотри(ег 5Ыепсе, 64, ВегИп: ЗРПпйег-Ъ'ег)ай, 1978, р. 462 — 473. 267. 5сЬ»п(й Н.„Ап АрргоасЬ 1о 1Ье Сотпшп1саИоп апй 5упсбгоп!заИ- оп о! Ргосеззев, Ргоеед!ндв ог где 7н!еглл!!ола! Сотприг!лй 5ртрав!игн !973, АтЫегдапи г)ог(Ь-НоИапй, 5ергетЬег 1973, р.
163 — 171. 268. 5сЬглЫ г!., Вев( Е., Тозтагйз а Сопз)гисИте 5о1ибоп о! 1Ье 1.!непевв РгоЫет 1п Ре1п 1»е(в, ТесЬй!са! Керог1 4/76. 1пвЬИЫ Ыг 1п1огтаИ)г, БпИ тегЯ(а1 51иИяаг1, %еь1 Оегтапу, Арп! 1976, рр. 56. Этот отчет объединяет работы (62, 167), связанные с задачей активности. 269. 5сйгпЫ Н., Веь( Е., А 51ер Точагйв а 5о1 Ыюп о! 1Ье Е)чепевв РгоЬ1ет !п Реы Ь!е(в, ТесЬп!са! Керог1 114, СотриИпя 1.аЬога1огу, (»п)тегьИу Ы ме»гса«Ие ирои Тупе, ХечгсавИе ирои Тупс, Епй!апй, РеЬгиагу 1978, рр. 40.
270. 5еИх С., АвупсЬгопоив МасЫпев ЕхЫЬ)Ипй Сопсиггепсу, Кесогп Аннотированная баблыаерт/>ал о/ Ме Рго!ес! МАС Соо/егелге оп Солеыггел! Бу<1етя ал<( Рагабе! Сотры!абоп, !!еч> г'ог)«АСМ, Липе 1970, р. 93 — !06. В этой работе на примере показывается экспериментальная методол<>гия построения асинхронных машин по сети Петри. 271. Бейг С., ОгарЬ Кергеяеп1айопя 1ог Ьой!са! МасЬ<пегэ РЬ.
О. <!!вяег- (а!!оп, 1)ераг1шеп1 о( Е1ес1пса1 Епй!пеег!пй, Маяяас)швейя 1пяййи1е о1 ТесЬ- по!оду, СагпЬг!<)ае, МаязасЬияе1В, Лапиагу 1971, рр. ! 36. 272. Я>ар!го К., Буя1еги, Моде!!па мйЬ г<е1 Ягис1игев, Бегал<( Белых Аппыа! Тесды<а<! Егрогй Керог1 САОЕь7503-1411, МаявасЬияейв Согпри1ег Лтосш1ея, %а[гойе!д, Маявасйиясйт МагсЬ 1975, р. 87 — 135.
273. БЬар<го К., ТЬе Арр!кайоп о( Оепега! Ме1 ТЬеогу — Л Регяопа( Н!в(огу, Адчапсед Соигяе оп Оепега1 )<!е1 ТЬеогу о! Ргосеяяев апб Буя1егпя, НашЬигй, Ос1оЬег 1979; Се<(иге )<!о(ея !и Сошри1ег Бс!енсе, Вегйп: Брг!паег- '1>ег1ад, 1980, 274. БЬа рйо К., Ба<п1 Н., Л Хеи> АрргоасЬ 1о Орйппгайоп о1 Бе<)цепс!пя Вес!в!опя, Аплыа! Кео<тг !л Аы!отабс Ргоугатт<лй, 6, Раг( 5, 1970, р. 257— 288. Сети Петри применяются для компиляции программ на языке Фортран для ЭВМ СОС 6600.
Программа на языке Фортран преобразуется в сеть Пет- ри. При ятом выявляются ограничения предшествования между оперзциямн. Эта сеть сливается с сетью Петри, представляющей процессор СОС 6600. Пе- реходам сети ставится в соответствие информация о времени выполнения, и для определения последовательности операций я сопоставления регистров, которые минимизируют время выполнения, используется полный перебор. Рга работа является пересмотренным равд. т/работы [128[. 275. Я>ар!го К., ТЫанагя!ап Р., Оп !Ье МЫп1епапсе о( !>!я(г!Ьи(е<! Со- ргея о1 а Оа1а Вазе, Керог1 !%'-78-04, 1пв1йЫ !иг 1п(отша!!опяяув!еш!огясЬипа, С>езейясЬай 1иг Ма1Ьешай(< ипб Оа(ептегагЬейипя, Вопп, Ъ>ея1 Оеггпапу, Ли!у 1978, рр. 14. 276.
БЬерап)воп Л., Яигйй Н., СошрЫаЫ1йу о1 Кесигв!че Еипсйопз, .!оыгпа! о/ !)<е АСМ, 10, Но. 2, Лрг(1 1963, р. 217 — 255. В втой работе разрабатывается модель регистровой машины и показыва- ется ее эквивалентность машинам Тьюринга. Модель вычислений, основанная на регистровой машине, легко моделирует расширенную модель сети Петри, показывая тем самым эквивалентность модели сети Петри н машины Тьюрин- га. 277. 51(арйя Л., Согпрог1егпеп1 Реги>апеп1 <[ев Кевеаих <)е Ре(г1 Тешроп(- зев, ЛРСЕТ Лоигпеез яиг (ев Кеяеаих де Ре1г! (АРСЕТ Юог)<яЬор оп Ре1п Ие(в), Раг!я, Ггапсе, МагсЬ 1977, р.
227 — 247 (1п РгепсЬ). 278. БйаИя Л., 1)ве о1 Рей! [Ье(я (ог Рег(оггпапсе Еча!иа1юп, Меаяыг!пл, А(о<(е!!пл ал<! Еоа!ыайоп о/ Сотрнвет Буя!етя< Ргосее<!!П<з о/ б<е УЬ<г<( Ул!ег- пайола! )гоглм>ор ол А4о<(е!гпу ал<( Рег/юг<палее Егч<!нот<оп о/ Ситро!ег Буя- Летя, Лшв1егбаш: Мог!Ь-Нойзп<), 1977, р. 75 — 93.
279. Я!айй Л., НогпошогрЬ<вшв о1 Ре!и [<[е(я: Аррйса1юп 1о 1Ье Кеа11- хайоп о! Еаий-То!егап( Буя1ешя, ТесЬп!са! Керог1 90, !пв11!и!е о! Лррйед Май>еша(!св апд Соп>ри(ег Бе<енсе, О1епоЫе. Егзиге, Ь!пчеглЬел <Бдт. ".<ои. 'Бйа)йв Л.„Кеа1!хайоп о1 Раий-То!егап1 Був!ешв Ьу Со<)!ид Ре(Н Ые(в, Ргосее<(глав о/ !Ье Е!я(<!А Алпыа1 !л!егпабола! Сол/етепге оп Раый- То!егаа! Сотрийад !<)е<т гог(<: 1ЕЕЕ, Липе !978, рр.
205; (геч!яеб) Лоыгпа! о/ Е>ея<йп дэ(отабол ал<! Раий-То!егал! Сотрыйый, 3, !<[о. 2, 1979. 281. Я(арйз Л., Ягис(ига! Ргорегйев о! Ре1п' Не!в, Ргогее<(!пбя о/ (де Бе- жаба Бутров<ыт оп Маб>ео>а!<са( Гонги!абопя о/ Сотры!ег Бпепге !978, (лс1иге 5[о(ев Ы Соглри1ег-Бс!епсе, 64. Вег!ш: Брг!пает-)/ег1ад, Бер!ешЬег 1978, р. 474 — 483. 282.
Я!аИв Л., Ее Соп(го!е дея Був!егпея АвупсЬгопея: Сопсербь Ргорпе- 4ев, дна!ухе 51а1!<)ие. ТЬеяе <)е Оос1еиг ев Бсгепсе, !)и!чегвйу о( ОгепоЫе, ОгепоЫе, Ггапсе, Липе 1979, рр. 233 (1п РгепсЬ). 283. Бйа(<!я Л., Ояе о( Ре1п Ые(я 1ог Рег!оггоапсе Еча(иайоп, А<[тапсе<! Соигзе оп Сапега! )<<е1 ТЬеогу о1 Ргосевяев апб Буя(егия, НашЬига, Ос(оЬег Аллотырованяал библиография 1979: Еес!иге Ио)ев тп Сотпри!ет Яс!енсе, Вег))пт Яртшуег-Чег)ад, 1980. 284. 51и)з Р., ТЬе Г1ои ОгарЬ ЯсЬетпа1а Моде) о! Рата!)е! Сотри!а!)оп, РЬ. Р. 4)вьет)айоп, Рераг!теп! о! Е1ес!пса1 Епя)пает!п8, МавьасЬиье!Ь 1пь!Ии)е о! ТесЬпо)ойу, СатпЬг!т)йе, МаььасЬиье!Ь, Аийиь! )968, рр.
256; ТесЬп)- са) йерог! 53, Рго!ес1 МАС, МавьасйиьеНь 1пв!Ии!е о1 ТесЬпо)ояу, СащЬ|Ыйе, МазьасЬиве!Ь„Яер)етЬег )968, рр. 254. 285. Б)агйе Р., Ггее Ре!и Ие! 1 апйиауеть Ргогеегйпуз о7 йе Бесел!И Зуотрояыт ол Майетауса1 гоылдат!олз о! Сотри!ег Зпепсе 1978, ).ес!иге Ио)ез )п Сатори!ег Яс!епсе, 64, Вег!!пт Ярг)пает-Чег)ау, Яер!егоЬег 1978, р. 506— 5! 5. 286. Я)ис)т! М., Ап АрргоасЬ !ог Яуп!Ьеь)з!па Тгапь)Ноп Еоа)с СтгстбЬ, Ргосеетйлуь от йе !1!! А ля но! А Нег!оп Сол7стелсе ол С!гсыИ алт) Зуз!ет ТЬеогу, Ос1оЬег 1973, р.
418 — 425. 287. Я)исй) М., Буп!Ьеяь о! Еене! Яес)иепНа! С!гсш1вт Гиг!Ьег Рене)оргпеп) о! а Ргосет)иге Вавет) оп а Ре1п-Ие) Туре о! ВеЬан)ота! Реьсгтрйоп, Ргытаупуь о!' йе 13й Аплиа) Айег!ол Сол(егелсе ол Сйси!! алт) Зув!ет Тбеогу, Ос!оЬег )975. р. 896 — 904. 288. Яупюпв Г., Мот)е)Ипд апг) Апа1узЬ о1 Сопипип1сайопв Рго!осо1з ))ь)п8 Ре!гт-ИеЬ, ТесЬпка! йерог) 140, Рераг)тпеп1 о! Е)ес)гка1 Епй!пест)п6 Бс)енсе, Уп)неть)!у о! Еяех, Яер)етЬег 1976. 289. ТЬте)ег-Мен1ьвеп О., ТЬе Ре)п Ие! Са1си)иь о! Ртегйса1е Еоа)с„ !п1егпа) йерог! 1ЯГ-76-09, !пзИ1и! !иг !п)отша))опяуь)еш!опсйипя, ОеьеИ- ьсЬаИ 1иг Ма 1ЬегсаИЬ ипт) Ра1епнегагЬейип8, Вопи, %еь! Оегглапу, РесешЬег 1976, рр. 60. 290.
ТЬотпав Р., ТЬе Ре!и' Ие1т А Мог)е))пя Тоо1 !ог 1Ье Соотб)пайоп оГ АьупсЬгопоиз Ргосеяеь, Мав!ег'з !Ьеяз, ))и!нетьйу о) Теппезвее, Кпохнй)е, Теппеььее, Липе 1976, рр. 118. Исследуется сеть Петри как модель вычислений. Сравниваются модель сети Петри и другие модели (так же, как и в (5) или в (240)). Описывается и рограмма, моделирующая сеть Петри, с множеством выходов, отражающих выполнение сети Петри.
291. ТЬогп!оп Л., Ров!ул ог" а Сипри!ест Т)те Сопйо1 Рата 6600, ЯсоН, Готеьшап апд Со!прану, О)епн)етн, ШтпоЬ, 1970, рр. 181. 292. ТясЬгИгЬ Р., Моби)аг Буь!епт Ревспрйоп, ТесЬптса! йерог) 33, Рерат!тнеп! о! Сотри!ет Бстепсе, Оп!негьйу о! Тогоп)о, Тогоп!о, Оп1аг!о, Ос1оЬег 1971, рр. 20. Внедение в использование сетей Петри для моделирования некоторых простых задач, возникающих в операционных системах (взаимное исключение, производитель!потребитель), с некоторыми рассуждениями о том, как сети Петри могли бы использоваться для облегчения конструирования, оценки и реализации операционных систем. 293.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
