Питерсон Дж. - Теория сетей Петри и моделирование систем - 1984 (1184511), страница 50
Текст из файла (страница 50)
4; СОА(РСО|У 72; Б!х(Ь Аллиа! 1ЕЕЕ Сотра|ьг Бас!е(у 1п|еглауопа! Соа)ягепсе О!Еея! 4 Раргтя, Иегч г'огйг 1ЕЕЕ, Бер1етЬег 1972, р. 223 — 226. Краткое изложение работы по описанию цифровых систем с помощью сетей Петри н последующей реализацией их как независящих от частоты (асинхронных) схем. 236. Ре|егьоп Л„Моде!!пя о1 РагаПе! Буь(егпь. РЬ. О. 4Ььег|аИоп, Оераг1гпеп1 о1 Е!ее|пса! Епй!пееппй, Б|ап!огд (Лп!чегяйу, Яап1огб, Са! Погп|а, ОесегпЬег 1973, рр. 255; ТесЬп!са1 Керог1 46, О!6Па! Буь(егпя [аЬога1огу, Яап|огд (Лп!чегьПу, Яап1оп|, Са1Погпю, ГеЪгиагу 1974, рр.
241; ТесЬп!са! Керог1 БТАИ-СБ-74-410, Согпри|ег Бс!епсе Оераг|теп|, Яап[огд |Лп!тетя|у, Б|ап(огг[, Са1Погп|а, ГеЬгиагу 1974, рр. 241. Двумя основными результатами этой диссертация являются сравнение моделей, позднее обобщенное в [240), н теория языков сетей Петри, опубликованная в [237). 237. Ре1егьоп Л., Сотри|аИоп Бециепсе БеЬ, Лоигпа1 о) Сотри!ег апб Зуятет За|евсея, 13, Иа. 1, Аийия| 1976, р.
1 — 24. Опубликована пересмотренная гл. 4 иэ [236). Определяется н исследуется особый класс языков сетей Петри — языки, которые определяются выполнениями из начального состояния в закшочнтельное. Главным образом рассматриваются свойства замкнутостн в место этих языков в иерархия языков (регулярные, контекстно-свободные, контекстно-связанные, языки типа О). 238. Ре|егяоп Л., Ре!г! ИеЬ, Сотри(|ау Бшоеуя, 9, Ио. 3, 1977, р. 223— 252.
Это первый широко распространенный обзор н учебный материал по сетям Петрн. В нем кратко затрагиваются вопросы моделирования сетями Петри, основные определения, задачи н методы анализа, языки сетей Петри н связанные с иимн модели вычислений. Хорошее введение, которое должен понять любой технически мыслящий студент илн аспнрант.
239. Ре|егяоп Л., Ап 1п!годисИоп |о Ре1г| ИеЬ„Ргосеа||пуя о7 Где А!аг!ела! Е(яс1гоаюя Соауягеасе, 32, 1978, р. 144 — 148. 240. Ре|егяоп Л., Вге|П Т., А Сотраг!ьоп о| Моде!я о1 РагаПе1 Согари1аИоп, 1л)оста!|ап Ргасем|ву 74, Ргогеяг(|пуз о/ Ни 1974 1Г1Р Солугезь, Ать(егбагп: Иог|Ь-НоПапд, Анния| !974, р. 466 — 470. Описываются н сравниваются структуры управления нескольких моделей параллельных вычислений. Эти модели включают конечные автоматы, сети Петри, графы !ЛСЬА, системы сообщений, графы вычисленнй, схемы параллельных программ, маркированные графы и сети координации.
Смотрите также аналогичные работы [5, 178, 193). 241. Ре|п С., Когптип!ЬаИоп т!| АЫота|еп, РЬ. О. б!яяег1аИоп. !Лп|- тегьПу о|Вопп. Вопп, %еь! Оеппэпу, 1962 (|п Оеггпап); М. 1. Т. Метогапдит МАС-М-212, Рго!ес1 МАС, МазьэсЬиье!1ь 1пяИ|и|е о| ТесЬпо!оку, СатЬгЫйе, МазьасЬиье1!з; С1П[огб Г. Огеепе, Лг. (!гапь!а|от). СопппипкаИоп ий|Ь Аи1опю|а, Бирр|етеп| 1 1о ТесЬп!са1 Керог| КАОС-ТК-65-377, 1, Коте А!г Оете1оргаеп| Сеп|ег, ОгП1!яь А1г Гогов Ваке, Иеъ хогй, Лапиагу 1966, рр. 89. Эта диссертацня является отправной точкой раэвнтия сетей Петри.
Петри начал с рассмотрения конечных авточатов н показал, ссылаясь на работы Аннотированная библптгра4нл Дэвиса, Тьюринга и других, что регулярные автоматы ие могут распознавать контекстно-свободные н контекстно-связанные грамматики. Затем Петри объявил, что если бы эти автоматы были не конечны, а неограниченны, то времена задержки сигнала тактке были бы неограниченны, н поэтому возникает задача синхронизации. После чего Петри переходит к построеяню сети для моделирования ленты машины Тьюринга.
Эта сеть является целиком асинхронной и строится из идентичных ячеек, которые передано информацию своим соседям (левым или правым) по мере необходимости. Поскольку лента бесконечна, то необходимо бесконечное число ячеек. Однако важность этой работы заключается в акцентирования асинхронной природы взаимодействий.
В современных терминах все сети в диссертации Петри являются безопасными па определению. Сегодня диссертация Петри представляет только исторический интерес. 242. РеЬИ С., Гиидатпеп1а1з о1 а ТЬеогу о( АяупсЬгопоиз !п(огшаИоп Г)о~н, !п)отта!(оп Рготеяяпд 62, Ргоссед(пуз а1 !(те 1962 Сопйгезя, Апта!егдатт А!ог!)т-На!!апд, Аияиз1 1962, р. 386 — 390. 243. Ре(г! С., Сапсер(з о! Ке1 ТЬеоту, Ргасеед!пйз о!' йа Яутрамнгп аптт Яипипег ЯсЕао! ап Майетат!са! Раипда!!апз о1 Согпри!ег Яс(епсез.
Н!яЬ Та1- газ, Ма1ЬетаИся 1пяййи1е о1 1Ье 51ачай Асадешу о1 Яс!епсе, Яер(ешЬег 1973, р. 137 †1. Развитие общей теории сетей, связанной с общей теорией систем н топологией. 244. Ре1г! С., 1п(етрге(аИопз о1 Ке1 ТЬеогу, 1п1егпа! Йерог1 75-07, 1пяИ1Ы (иг 1и!огшаИопзвуз(еш!огзсЬипн, ОеяеИзсЬаИ 1иг Ма(ЬешаИЬ ипд Оа(епчегагЬеИипд, Вопи, !йев1 Оетшапу, Ли1у 1975, рр. 34; геч1зед ОесетпЬег 1976. Дальнейшее развитие теории сетей. 245. Ре(И С., Оепега! Ке( ТЬеагу, Ргасеед!пуз о1 !йе Ла!и! 1ВМI Уп!тига!- !у о1 Жеисаз!!е ироп 7упе Яетпшг оп Сотри!(пу Яуя!етп Оез!уп, СошриИпи 1.аЬота1огу. ()и!чегзИу а( КетчсазИе ирои Туле, КетчсазИе иран Туле, Гпй!апд, Яер1етпЬег 1976, р.
131 — 169. 246. Ре1г! С., Сопсиггепсу аз а Ваяв о! Яуз)ешз ТЫп)Ипй, 1п1егпа1 Верог1 !ЯГ-78-06, !пзГИЫ !иг 1п(огшаИопввуз1егп!огзсЬипд, ОезеИзсЬаИ 1иг Ма(Ьетпа192 ипд Оа(епчегагЬеИипй, Вопи, !йев1 Оегшапу, Яер(етпЬег 1978, рр. 20. 247. Ре1п С., 1п1годисИоп 1о Оепета! Ке1 ТЬеогу, Адчапсед Соигве оп Сапега! Ке( ТЬеогу о( Ргосеззев апд Яуя1егпз, НашЬигд, Ос(оЬег 1979; Еес(иге Ко1ев тп Сотпри1ет Ястепсе, ВетИпт Ярг(прет-Чет!ай, 1980. 248. Ре1п С., Сопсиггепсу, Адчапсед Соигзе оп Оепега! Ке1 ТЬеогу о( Ргосеяяез апд Яуз(ешз, НатпЬигя, Ос1оЬег 1979; Еес1иге Ко1ез 1п Сотри(ег Яс1епсе, Вег1тп: Ярг!пйег-дет1ай, 1980. 249. Р!еяв Е., Р!иппес)те Н., А В!Ы!онгарЬу о( Кетч ТЬеогу, 1п1егпа1 Яерог1 1ЯР-78-08, 1пзГИи1 !иг !п!огшаИопзяуз1еш(огзсЬипя, ОезеИзсЬаИ (иг Ма(ЬетаИ)т ипд Оа1епчегатЬеИипн, Вопп, тйез( Оегшапу, КочетпЬег 1978, рр. 57. Перечень большинства из известных рабат по сетям Петри.
250. Роз1е1 Л., А ОгзрЬ Моде! Апа1уз!з о1 СатпрЫег Сотппшп)саИопз Рго(осо1в, РЬ. О. д!ззег1аИоп, Сагпри(ег Яс1епсе Оераг1шеп1„!Лп!чегзИу о( Са1Иогп1а, 1.оз Апре!ез, Са1Иогп1а, 1974, рр. 191. 25!. РоМе! Л., РагЬег О., ОгарЬ МодеИпя о( СотпрЫег СошпшптсаИопз Рго1осо!я, Ргосеед(пуз о1!Ье Р!1!й Тезиз Соп1егагме оп Сотри!!пу Яуз!евя, !ЛЫчетзИу а! Техаз, АияИп, Техаз, Ос1оЬег 1976, р. 67 — 77. Эта работа использует для моделирования протоколов связи модели графов ОСЕА„а не сети Петри (оян эквивалентны). По содержанию работа подобна работе [194).
252. РгезЬигяег М., ЮЬег гйе ЧоИз1апд!н)теИ е)пея неи!язеп Яуз)ешз дег АгИЬтпеИс лапает ХаЫеп, !и !йе!сЬепт гИе АддИюп а1з е!пг!де Орега(юп Ьегчаг1ИИ, Ргосеед!пуя о1 !йе Р(гв! Сопугезя о1 Я!оо!с А!оутгта !!с!ппя, 1Чагзатч, 1929, р. 91 — 101, 395 (1п Оегшап). Аннотированная библиография Приводится алгоритм определения выполнимости предложений, которые используют только сложение целых чисел с кванторамн и логическими связками (арифметика Персбюргера). 253. КасйоИ С., ТЬе Сочег1пя апг1 Воипдедпевя РгоЫепм |ог 17ес1ог ЛгЫ1- Иоп 5ув|ешв, ТесЬп|са! Керог1 ХшпЬег 97, |Герат!шеи! о| Согпри1ег 5с|епсе, !Лшчегв|!у о| Тогоп1о, Тогоп|о, Оп|агю, !970. рр. 14; Тйелгейса| Сотригег Эс!елее, 6, Хо.
2, Арг!1 1978, р. 223 — 231. Представляются новые алгоритмы для решения задач покрытия и ограниченности. Эти результаты представлены для сисгем сложения векторов, но, конечно, они равным образом применимы к сетям Петри. Эти алгоритмы тренг.л 1оа л буют 2г' ячеек памяти н поэтому являются близкими к оптимальным. Нижняя граница Липтоиа равна 2' ". Главное внимание в этой работе уделена результатам по сложности вычислений 254. Кашсйапбап) С., Апа|ув!я о| Аяупсйгопоив Сопсиггеп| Эужешв Ьу Ре|п' Хейь РЬ.
)Л. б!взег1аИоп, !Лераг1гпеп! о1 Е1ес)г|ся! Епа|пеег1пя, МаязасЬияе1!я 1ггвИ|и1е о| Тесйпо1оцу, СашЬг!бяе, МаязасЬивеИя, Ли1у !973, рр. 219; ТесЬп|са1 Керог1 120, Рго|ес1 МЛС, МаявасЬиве|И 1пвИ|и|е о! ТесЬпо!ойу, Сашбг!бяе. МавяасЬиве11в, РеЬгиагу 1974, рр. 2!9. Эта диссертация посвящена анапнзу модели сети Петри для определения ее производительности. Модели сетей Петри расширены с целью сопоставления времени каждому переходу. Анализ некоторых подклассов этих временных сетей Петри привел к вычислению пропускных способностей этих систем. 255. Кашш!пй Р., РеИРХе1 Ваяеб Пеясг)рйоп, Лпа1уяя апб 5!пш|аИоп о! Сопсиггеп! Ргосезяея, Ргогеедгняя !415 7)гзгйн Ли|ото|!ол Соп)егелсе, Хечг Уог)г: 1ЕЕЕ, Липе 1977. 256.
Кег)51 5.. А Моби1аг СошрШег мИЬ Ре|п' Хе1 Апау СопИо1, Ргосеег(!пяз оу Г!ге !978 АСД4 Ха!!она! СолЛегелсе, Хечг Уогйл АСМ, )Лесетбег 1978. р. 79 — 85. 257. Кей Л., Апа1ущя о| Сошшип!са1!пй Ргосеззея, ТесЬп!ся| Керог1 30, Согпри|ег 5с|епсе Ояраг1пюг11, 1Лшчегя1у о1 КосЬев|ег, КосЬея1ег, Хеж Уогй, Мау 1978, рр. 45. Используется сводимость к задаче достижнмости сетей Петри для того, побы показать трудности анализа программ в распределенной среде. 258. К!гЫ1е Ш., ТЬе МодеИпц апд Лпа1уяв о! 5ирегщяогу 5уя)ешз, РЬ. |Л.
д!ввег)аИоп, СогпрЫег 5сюпсе ОераИгпеп|, 51ап)огд Бп!чегзйу, Яап!огд. СаП|огпга, МагсЬ 1972, рр. !81: ТесЬп!са| Керог1 5ТАХ-С5-72-271, Согпри|ег 5с|епсе Вераг|п1еп|, Яап(огб |Лп|чегвйу, 51ап(огб, Са|Иогп|а, МагсЬ 1972, рр. 174. В диссертации Рихдла определена модель параллельных вычислений, которая предполагает, что система состоит из независимых асинхронно работающих последоввтельнык процессов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
