Питерсон Дж. - Теория сетей Петри и моделирование систем - 1984, страница 42

1„1977. р. 99 †1. 15. АуасЬе Л., О!ах М., Ча!е11е К., А Ме1Ьойо1оду 1ог прес!!у!па Сои!ге! 9вв Аниогирозаниал библиография 1 и Е!есЬотс БъйсЫпд Зуь1ете, РгоссиЖайя сг 1Ье !л1егиа!Гопа! Зт!1с!иУш Бйтрав!ит, РагЬ, Мау 1979, р. 1049 — 1056. !6.

Аяеп1а Р., В(ая М., Воисе1 Л., Ми1111ене! Веьспр1юп Вя!пи Ре1п Ие1ь, Ргосеес!!пйя ог' где !975 1игегла1гопа! Зцтровгит оа Сотри1ег Нагг!илие Веясйрггоа Еапйиайеь апг! Тден Арр!!сгг1гопв, Иеьн Уог(ы 1ЕЕЕ, Зер1ешЬег 1975, р. 188 — !90. 17 Аяегпа Р., На!еНе К., В!ах М., Ре1Н Ие1ь ав а Сопппоп Тоо! !ог Ве- я1йп Нег!НсаНоп апд Нагджаге 8!ши1а11оп, Ргосеег(Глдя !ЗЖ Вгя!ип Аи1ота- 1!ои Соа7ятепсе, Ие~ч Ног1и 1ЕЕЕ, Липе 1976, р. ! 09 — 116. 18. Авета Р., На!е11е К., Кепа!1ег М., Ргоигатше бе Яши1а1!оп е1 д'Апа!уяе беь ЗсЬегпав а Кевеапх бе Ре1п, еп Ьапйаие АР!., АРСЕТ Лоигпеез виг 1еь Кеьеаих де Ре(п' (АГСЕТ ЪЧог(свЬор оп Ре1г! Ие1ь), Раг!ь, Ргапсе, МагсЬ 1977.

р. 73 — 88. 19. Ваег Л., ОгарЬ Мобе1в о1 Согпри1а1юпя !п Сотри(ег Зуя!ешв, РЬ. В. 61яяег1а!!оп, Вераг(п1еп1 о1 Е1ес1гка! Епи!пеег!па, 1ЛпЬегьйу о! Са!1!ог- п1а, 1.оз Апяе!ев, Са! Ноги!а, 1968, рр. 223. 20. Ваег Л., А Зигнеу о1 Зоше ТЬеоге11са! АьресЬ о! Ми!1!ргосевыпя, Сотриггай Зигсеуя, 5, Ио. 1, !973, р. 3! — 80. Обзор некоторых теоретических результатов, полученных для параллель- ных вычислений. Сначала рассматривается задача представления паралле- лизма в программе, или автоматического определения скрытого параллелиз- ма, в случае, когда язык программирования не допускает явного представле- ния параллелизма.

Затем описывается несколько моделей параллельных вычислений, включая сети Петри, графы ВСЬА и схемы параллельных про- грамм. Наконец описываются некоторые методы предсказания производитель- ности мультипроцессорных систем. В приложении принедеиы различные ти- пы аппаратного обеспечения мультипроцессорных систем. 21. Ваег Л„МодеВпд 1ог Рага11е1 Сотри!а!!оп: А Саяе Яибу, Ргосее- Жпдв о7 !Ье 1973 Байатоге Сотри1яг Солгегеасе оп Раса!!е! Ргосеяяцд, Иечг Уог1г, 1ЕЕЕ, Аииия! 1973, р 13 — 22. Здесь представлен отчет по ранним работам, посвященным моделирова- нию компиляторов с помощью расширенных сетей Петри, В работе рассматри- вается только моделирование.

Модель сети Петри расширяется добавлением дизъюнктивиой (ИЛИ) логики, переключателей и поглощателей фишек. Затем эта модель используется для описания фазы лексического апалнза ком- пилятора. Как оказалось впоследствии, эта работа привела к результатам, изложенным в (221. 22. Ваег Л., Е11Ь С., Моде!, Вемйп апд Ена!иа1юп о! а Соп1р!1ег !ог а РагаНе! Ргосеяя!пя Епн(гопшсп1, ЛЕЕЕ Тгаияас1!оль оа Зг!7!иьтге Елдтеепий, Но!игпе БЕ-З, Ио. 6„!977, р. 394 — 405, Зта работа является продолжением работы (21].

Компилятор ХР1. моде- лируется сетью Петри. Моделирование подсказало структуру компилятора, которая была изменена так, что компиляция в ней выпоаияется в три этапа, что удобно для трехпроцессорного конвейерного компилятора, позволяю- щего увеличить скорость компиляции в два раза. 23. Ваег Л., Вине( В., Ея1г1п С., Ьеяа!!1у апд О1Ьег Ргорег1!сь о1 ОгарЬ Мобе!я о1 Сотри(а(!опь, Лоигпа! о7 где АСМ, 17, Ио. 3, 1970, р. 543 — 554. 24. Ва!сег Н., Лг., Ре1п( ИеЬ апд Ьапдиарь, Согпри1аНоп Ягис1игея Огоир Метло 68, Рго!сс1МАС, МаввасЬияе1Ь !пь1!!п1е о! ТесЬпо1ояу, СлшЬг!г1- йе, Маяьасйияе1Ь, Мау 1972, рр. 6. Короткая заметка, описывающая основную идею сопоставления языка сети Петри н непользования этого языка для описания поведения сети Петри.

25. Вайег Н., Лг., Ейшна1епсе РгоЫешя о1 Ре(п' ИеЬ, Мав1ег'я !!геь!я, Вераг1гпеп1 о1 Е!ес(г!са! Епй!пееппй, МаввасЬшяе1Ь 1пь1!1и1е о1 ТесЬпо1ояу, СашЬг1г!ие, МаяьасЬияе11я, Мау !973, рр. 53. Название этих тезисов несколько обманчиво. Хотя некоторые задачи эквивалентности и упоминаются, но особое внимание уделяется важным, ранее выдвинутым идеям Бэйкера по языкам сети Петри. Это одна из первых работ„рассматривающих сети Петри в контексте теории формальных языков.

Анногирооанная библиография 237 Байкер работал с префиксиыми языками сетей Петри н определил каноничес- кую форму префиксных языков маркированных графов. 26. Ва)|ег Н., Лг., КаЪ|п'я Ргоо! о!1Ье ()пдес!баЫ1Иу о! Гпе КеасЬэЬ!1Иу 5е1 1пс!ия(оп РгоЫе|п о( Чес(ог А|!5И)оп Зуя(ешз, СошрЫаИоп 51гнс(пгея Сгопр Мешо 79, Рго!ес1 МЛС, МаяяасЬпяеИь !пь(Ип(е о1 ТесЬпо1ойу, СашЬг!б- йе, МаяьасЬпье(1я, Лп1у !973, рр. 18.

Рабин был неверно упомянут в 1!48) как доказавший, что задача эквива- лентности для множеств достижимости является неразрешимой, тогда как фактически ои показал только, что задача включения неразрешима. Зто дока- зательство не было опубликовано, но в 1972 году на совещании в МТИ было представлено новое доказательство. Оно приведено в данной раба|э, что- бы показать, что задача включения неразрешима. В нем используется десятая проблема Гильберта, которая сводится к иедетерминированным регистровым машинам, которые в свою очередь эквивалентны сетям Петри. Это доказатель- ство является основой доказательства неразрешимости задач эквивалентности н подмножества для множеств достижимости сети Петри, приведенных н гл.

5. 27. Вег1!п Г., Т(ше-Ех(епбеб Ре(г( Хе!ь, Мая!ег'ь ТЬеяЬЬ Рераг(шеп! о! СошрЫег 5с|епсея, Рп!тесы(у о1 Техая, Аоя1!п, Техая, Ащоя1 1979, рр- !52. 28. Вегпь(е|п А, Ргщгаш Лпа!угйя 1ог РагаНе1 Ргосеяь(пд, 1ЕЕЕ Тгалж асРЛоая оп Е!ес!гон!с Сол|ри!егь, ЕС-!5, !4о. 5, 1966, р. 757 — 762. Ранняя работа по автоматическому выявлению параллелизма в программе. Зта работа содержит определение условий Бернстайна: два действия могут выполняться параллельно, если выход каждого действия не является ни вхо- дом, ии выходом другого действия.

29. Вегпя1е|п Л., Реьст!р1юп РгоЫешя !п Гпе Мобе11па о1 ЛьупсЬгопопь Сошрп(ег 5уь(ешгь ТесЪп1са! Керог1 48, Рерагйпеп1 о1 Сошри1ег 5с|епсе, ()п(- тегьИу о! Тогоп1о, Тогоп1о, Оп!апо, Лаппагу !973, рр. 116. В этом отчете упоминаются сети Петри как модель параллельных вычис- лений. 30. Вегпя1е!п Р., Ть(сЬ|!1х!ь Р., Моде!я !ог Реьспр(|оп о! Со|прп1ег 5уя- 1е|пя, РгосеоЛ!лрь о) йг Е!ййй Аилиа! Рг!лге!оп Сол)ггелсе оп Лп)оппа!|он Яс!епсея алг! 5ря!егия. Рппсе|оп ()и!ъегы!(у. Рппсе1оп, Ыеъ Легьеу, МагсЬ 1974, р. 340 — 343. 31. Вег|йе1о1 О-, СЬесИщ Ь!чепеья о! Ре1г(-Ые1я, РагаИе! Сотритегь— Раса!!е! Л(айета!!сь, Аль|егозю| Гтог(Ь-НоПапб, МагсЬ 1977, р. 217— 220.

32. Вег(Ье!о1 О., (Лпе МеГпобе де Чег!!1са!!оп бея Кеяеапх бе Ре1п, ЛГСЕТ Лоогпеея яиг 1еь Кеьеапх бе Ре1п (ЛГСЕТ ЧЧог1|ьЬор оп Ре(п' Ке(ь), Рапз, Ггапсе, МагсЬ 1977, р. ЗЗ вЂ” 54 (1п ГгепсЬ). ЗЗ. Вег1Ье1о1 О., Чег!!!са!!оп бе Кеьеапх бе Ре1п. ТЬеяе Рос!ога1 Тго(ь!е- п|е Сус!е, Пппегя(у К|егге е! Мапе Сопе, Раг!ь, Ггэпсе, Лаппагу 1978, рр. 220 (1п ГгепсЬ). 34. Вег!Ье!о1 О., Каиса|го! О., КебцсИоп о1 Ре1п' Ые1я, Ргосге|!!лая о7 йе Ггуй 5цтроя!ит ол |Иойел|а!!са1 Гон|и!айоль о7 Сол|ри1ег 5с|елсе, Ъес(иге Ыо1еь !п Сошрп(ег 5с1епсе 45, Вег)!п| Зрг!щег-Чег1ад, 5ер1ешЬег 1976, р. 202 — 209. 35. Кеь( Е., ВеИгае5е хпг Ре1ппе!х-ТЬеог!е, ТЬегйя !ог |!!р1оша, 1пяГИп1 1пг !и!отша!!!г, (Лп!тегьыа! Каг1ягпЬе, Каг|ягнйе, %ея! С|еппапу, Зер1сгпбег 1974 (1п Оеппап), 36. Веь( Е., Оп !Ье !Лтепеья РгоЫегп о! Ре1г! Хе( ТЬеогу, А5М/6, Со|при- 11щ !.аЬога(огу, $)п(чегьИу о! Ыетчсаь(!е прои Тупе, Ыечгсая(!е прон Туле, Ещ1апд, Липе !976.

37. Вея( Е., ТЬе 501.0 Орега11щ Зуь(еп| Реясг|Ьеб Ьу Ре1п Ые!ь, АЗМ/8, Со|прнНпй ЬаЪога!огу, (Лп!чегьИу о1 Хеттсяя1!е прап Тупе, !чежсаь|- 1е прои Тупе, Ег|я!апд, Лщш( 1976. 38. Вея1 Е., Ра1Ь Ргойгагпь, Абчапсед Сопгяе оп Оепега! 7|е! ТЪеогу о! Ргосеяяея апд Буя1еть, НашЬцги, Ос(оЬег 1979; ).ес1пге Хо1еь !п Сошрп(ег 5с!епсе, ВегПп: 5рг!пйег-Чег1ац, 1980. 39. Вез! Е., Аярес1ь о! Осснпепсе НеЬЬ Абтапсед Соигье оп Оспега( Аннотироеанкая библиограс)гил )че1 ТЬеогу о) Ргосеяяея апс) Буя1етз, НатЬцгя, Ос1оЬег )979; ),ес)цге Мо)ея 1п Сотри)ег Зс!енсе, Вег!)п: Брг!п8ег-Чег)а8, 1980.

40. Вея! Е., БсЬт)с) Н., Буь!етя о! Ореп РаЬЬя !и Ре!г) Ме)я, Ргосеес))лая о7 Х)се Гоиг!Ь Бутроясит ол Х))аХ)сета!сса! Роиш1а)сопя оу Соглригег Зсс'- епсе, )ес)цге )с)о1ез сп Согпрц)ег Бссепсе, 32, Вег11п: Брг!пбег-Чег!а6, Зер1етЬег !975, р. 186 — 193. 41. Вгесй Т., А Бцпеу о) Мос)е!з 1ог Рагайе! Сотрцйпя, ТесЬпсса! )серог1 8, О!6йа! Буь)етя Еабога1огу, Яап!огс) Ып!чегзйу, Б!ап)огс), Са)1- !огп)а, Лциць1 1970, рр. 58; ТесЬп!са! Вериг! БТЛЫ-СБ-70-!71, Сотри)ег Бс1епсе ))ераг1теп1, Б)ап!огд ))п!чегяйу. Б!ап)огс), Са1йогпса, Ацяць) 1970, И ° 58- 42.

Вгесй Т., Лпа)уз!я о! Рагайе) Буз)егия, ТесЬпсса1 )серег! 7, ))!8йа) Зуя)етз ЕаЬога1огу, Б)ап1ог6 Ип)чегзйу, З)ап1огс), Са1йогпса, Лидия) 1970, рр. 59: ХЕЕЕ Тгапяас)сопя ол Сотри)згз, 0-20, )с)о. 11, 1971, р. 1403 — 1407. 43. Вгесй 6., МсС)цз1сеу Е., Л Мос)е) )ог Рата!1е1 Сотри)ег Зуз)етз, Тесбп!са! Вериг) 5, Ес)8йа) Зуз)етя 1.аЬога)огу, Б)ап!огс) ))и!чегяйу, Яап!огс), Са1йогп!а, Лргй 1970, рр. 62; ТесЬп!са! азерот) БТА)с)-СБ-70-160, Вераг1теп! о) Сотри)ег Бс)епсез, Яап)огс) ))п!чегяйу, Б)ап!огс), Са)йоги!а, Арп" 1 1970, рр.

62. 44. Вг!псЬ Напяеп Р., Сопсцггеп! Ргобгатт1пд Сопсср1я, Сотрцйпя Зцгчеуз, 5, )с)о. 4, )!есетбег 1973, р. 223 — 245. 45. Вг!пяйе!с) ЪЧ.. М)!1ег В., Оп Ьбе Сотрояййоп о1 Рага11е! Ргоягат ЗсЬегпа!а, Соп7ггелсе Еесогс) 1971 )21)с Х)ппиа! Зутроясит оп Зю!(сЫлу апс) Х)и)отаХа Т)сеогу, Месч УогРл )ЕЕЕ, Ос)оЬег 1971, р.