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

20 — 23. 46. Вгипо Л., Сойспап Е.„Ноз)сеп ЪЧ., Сопя)з)епсу о! БупсЬгоп)ьайоп !че!я ))п!пк Р апс1 Ъ' ОрегаИопз, ТесЬп)са! азерот! 117, Согпрц)ег Бс1епсе Т)сраг)теп1, Рсппзу1 чаи)а 51а)е ))п)чегяйу, ))п)чегяйу Раг)с, Реппзу1 чан!з, Дцпс 1972; Ргосезс)саблон !)се )ЗХ!с Аллиа! Бутроя!ит оп Бшс!с!ссп8 апс) Аи!отаХа ТЛеогу. Нецс Уог1сс! ЕЕЕ, Ос1оЬег 1972, р. 7! — 77.

47. Сагс)оза Е., Сотри)айопа1 Согпр1ехйу о) )Ье ЪЧогс) Ргоб)ет )ог Согптц)айче Бет!пгоцрз, Маз1ег'я )Ьея)ь, ))ераг!теп1 о) Е!ес)г!са! Еп81пеег!пя апс) Согпрц)ег Зс)епсе, МаяяасЬцяе1)з !пййц)е о) ТесЬпо)олу, СатЬг!с)яе, МаззасЬцяе!)я, Лцяцз) 1975, рр. 67; ТесЬпсса1 Меспогапдисп 67, Рго)ес) МЛС, МаяьасЬцясйя ! пяИ)ц)е о1 ТесЬпо!о8у, СатЬгЫке, МаяяасЬцьейя, Ос!оЬег ! 975, рр. 67. Комментгсруется тесная связь коммутативных полугрупп с системами сложения векторов и сетями Петри. 48.

Сагс)оха Е., ),)р)оп В., Меуег Л., Ехропепйа1 Брасе Сотр)е1е РгоЬ1еть 1ог Ре)п )с)е)з апс) Сотти1аИче БиЬ8гоцря, Ргосеес)спбя о7 Хссе Еся)с))с Аппиа! АССЫ Зутроя)ит ои Тдеогу о!* Сотри)слу, )с)есч Чог)с: АСМ, Мау 1976„ р. 50 — 54. 49. Сег! Ъ'., Мц)йргосеязогз, БегпарЬогеь, апс) а ОгарЬ Мобе) о) Сотри)аИоп. РЬ. )). сйьяег1айоп, Сотри)ег Зс!епсе пераг)спец), ))п)чегзйу о! Сай)огсс)а, Еоь Лиле)еь, Сай!огп)а, Аргй 1972, рр. 337. Один нз серии отчетов н дссссертаний, разрабатывасощнх модель вычислений в виде графов ))С).Л. 50. Сег1 Ч., Регпапдез Е., Ооз)е)очг К., Чо1апь)су Б., Роггпа1 Соп)го) Р)осч Ргорегйсз о! а Мос)е! о! Согпрц)айоп, азерот! ЕЫО-7178, Сотри)ег Зс)- енсе Рераг!теп), )Уп)чегзйу о! Са)йогпса, ).оя Лпяе!ез, Са)1!огп!а,ьТ)есегпЬсг 1971, рр. 81. 51. Сег) Ч., Ооя)е)осч К., Еь)г!и О., Чо)апя)су Б., Ргорег Теггп!пайоп о! Р)осч о1 Соп)го1 1п Рго8гать !пчо)ч!пя Сопсцггеп) Ргосеззея, 3! ОРЕЛ)с) ЛСо!ссея, 7, Ыо.

11, 1972, р. 15 — 27; Ргосеес)саля ох Хбе АСМ Лсатсгола) СопХегепгз, ЛСМ, )с)ечг Уог)с, Ацдць! 1972, р. 742 — 754. 52. СЬеп Т., Очес!ар апс) Рсре)спе Ргосеьз)пи, !и Н. Яопе (Еййог), ХлХгсз)ис)согс !о Сотритег Агс)с!!ее!иге, СЫсаяос Бс)епсе КеяеагсЬ Лззос)а1ея, 1976, р. 376 — 431. Эта статья является хорошим введением архнтектуры конвеАериых ЭВМ, которые могут моделироваться сетями Петри, как это указано в гл. 3. Аннотированная библиография 53.

Сопыпопег Г., Реад!осйя 1п Ре1п КеЬ, Керог1 СЛ-7206-2311, МаявасЬияеИя Согпрйег Аявос!а(ея. Ъа!ге1!е1д, МаявасЬияе1Ь, Липе 1972, рр. 50. Тупик — это ситуация, в которой каждое из двух действий, прежде чем начать выполнение, ожидает окончания выполнения другого. Активность является (в некотором смысле) противоположностью тупику. Коммонер изучает различные уровни тупиков или активности и получает достаточные условия активности. 54. Сопипопег Г., Но11 Л., Енеп Б., РпиеИ Л., Магйед Р1гес1ед ОгарЬв, Хиогла( о/ Сотра1ег апд Вуя1ет 3с!еллея, 5, Ьо.

5, 1971, Ос(оЬег 1971, р. 51!в 523. Маркированные графы — это подкласс сетей Петри, в которых проваляется параллелизм, ио отсутствуют конфликты. Эта работа является основным ясточииком определения маркированных графов и результатов по этому вопросу. В ней разбираются алгоритмы решении задач безопасности, активности н досгнжимости и другие вопросы.

55. Соорег Р., Ргоягагпв 1ог МесЬап!са1 Ргоягаш "нег!!!са1!оп, !п В. МеИ- гег апд Р. М)сЫе (ЕдИогя), Масйле !а/еИ1депсе 6, Хенг Уог)п На1я1еад Ргевя, 1971, р. 43 — 59. На с. 44 — 47 описывается алгоритм для арифметики Пресбюргера, который используется для доказательства простых теорем об алгебраических формулах. 56.

СооргМег Е., Ре1п ХеЬ апд Гйе Кергеяеп1аИоп о1 81апдагд ЯупсЬгоп1га!!опв, Рераг(гпеп( о! Согорйег Бс!епсе, Сагпеи!е-Мс!1оп Пп!негяИу, РИ(яЬигяЬ, Реппву1нап1а, дапиагу 1976, рр. 30. Некоторый материал гл. 3 по использованию сетей Петри для моделирования программного обеспечения ЭВМ основан на ятом наброске. Этот материал нвляется несколько скучноватым, ио в нем представляются н анализируются классические задачи синхронизации процессов. 57.

Со1гопЬ Д., 1.аиег Р., Чеп!!са1!оп о1 Сопсшгеп1 Зуя(ешв о! Ргосевяев, ТесЬп)са! Керог1 97, Сошри((пй ЕаЬога1огу, с)п1негвИу о! 51еггсав1!е ирои Туле, Хеисая(!е ироп Тупе, Епя1апд, дапиагу 1977, рр. !1; Ргосеед(луя о/ 18е /л!еглайола1 Сотри!!па Зутрамат 1977, Ашйегдаш: Ног(Ь-Но11апд, АргИ 1977, р. !97 — 207. 58. Соиг1оЬ Р., Неугпапя Г-. Рагпав Р., Сопсиггеп1 Соп1го! иИЬ 'Кеадегв' апд 'ЮгИегв', Сотти!пгоболя о/ !Ае АСМ, 14, Хо. 10, 1971, р.

667 — 668. 59. СоигноЬ(ег М.. Ппе АгсЬИес1иге Рага1!е1е ЛвупсЬгопе роиг 1ея Яуя1егпея де Сопипапде, АГСЕТ Лоигпеея яиг1ея Кеяезих де Ре(г! (ЛГСЕТ %огйвЬор оп Ре1п 14еЬ), РагЬ, Ггзпсе, МагсЬ 1977, р. 56 — 72 (1п ГгепсЬ). 60. Сох Е., дг., Ргейс!1пя Сопсштеп1 Согири1ег 5ув1еш Рег1оппапсе ()в(пй Ре!и' Же( Моде!я, Ргосеед!лдя о/ (йе !978 АСЛ !на!!оло1 Соп/егелсе, Ыеъ Уогйа АСМ, РесешЬег 1978, р. 901 — 913. 61.

Сгеяр(-КеяЬ!гг! 5., Мапдпо1! Р., Ре(п 51е!в апд Сопппи1аИне Огашшагя, 1п(егпа! Керог( 74-5, 1.аЬога!ог1о йе Саго!а!оп', 1пя1ИШо д1 Е1есИго1есп!са ед Е1еЫгоп1са де1 Ро(Иесп(со й М11апо, Иа1у, МагсЬ 1974, рр. 80- Предпринимается попытка охарактеризовать сети Петри. Сначала исследуется алгебраическая характеризвция, основанная на матрнчном представлении сетей Петри.

Затем используется языковый подход для харвктеризацнн сетей Петри последовательностями запусков переходов. Показывается, что сети Петри эквивалентны коммутативным грамматикам непосредственных составляюших, т. е. грамматикам, в которых упорядочение символов иесушествеино. Отчет является хорошим изложением основных свойств сетей Петри. 62.

СгеврЬКеяЫгг! 5., Мапдг!о1! Р., Л Рес!даЫ!Иу ТЬеогеп1 1ог а С1аяя о! нес1ог ЛддИ!оп 5уйегпя, /л/огта6ол Ргогевяла Ее/!егя, 3, Хо. 3, 3апиагу 1975, р. 78 — 80. Показывается, что задача достижимости для сетей Петри без конфликтов является разрешимой, приводится краткое описание алгоритма для определения последовательности запусков, ведущнх от одной маркировки к другой (если эта маркировка достижима). 240 А нлогировалная библиография 63. Сгезр)-КедЫгз1 3., Мапдпо!1 В., Зоше А15еЬга(с Ргорегйев о1 Ре!и Ые!з, А1!а Ргедиелга, 45, Ыо.

2, РеЬгияху 1976, р. 130 — 137. 64. Сгезр)-)!еяЬ)зз1 3., Мапдпо1! 1)., Ре(г! Ые!з апд Зз)1агд [.апяиаиеь, ?л7огта!?ол алд Сол!го!, Чо1ише ЗЗ, Ь)о. 2, 1977, р. 177 — 192. 65. Сгезр)-КейЫзз1 3., ЗсЬге)Ьег Г., 1.е Ве!1 61 Ре1п: 11п Модейо рег 1а )Лезсг!а(опе де! 3!з(еш1 Ажпсгош, ?(го!я!а др 7л)оста!гса, 3, 1972, р. 3 — 20 (1п 11айап). 66.

Сгонг1еу С.. 14ое Л., 1п)егасйче ПгарЫса1 Здпш1айоп 1)з!пя Могййед Ре!г! йе!з, Ргосеед!луя о! Яутроя?ит ол Я!ти!а!?ол о! Сотри!ег Яуягетя, Ь)ечг Уог)г; АСМ, Аидиь( 1975, р. 177 — 184. 67. Вадда Е., ТЬе Зуп(ЬеьЬ о! Ре1п' Ые1ь 1ог Сои!го!1!пд Ригрозез апд Гпе Кедис))оп о1 1Ье(г Сагир!ехИу, Ргосеед!лдя о! !Ие Яесолд Еигот!его Яутроя!ит ол Ад!сгоргосеяя1лд алд !)4игоргоугатт1лй, Ашз)егдаш: 1чог!Ь-Но11апд, Ос!оЬег 1976, р.

251 — 259. 68. Пач!в М., А Ргоягаш 1ог РгезЬигдег'з А!дог!Иип, Яиттег ?ля!!!и!е гог Яутбойс Сои!с, Согпей (Лп1чегзйу, НЬаса, Ыечг Ъогй, 1957, р. 215 — 233. Описывается программа на машинном языке для компьютера Института перспективных исследований. Программа определяет верность формулы в рамках арифметики Пресбюргера (длина формулы до 96 символов). Зяачеине этой работы состоит в поиснении алгоритма Пресбюргера перед программой. 69. 1)ач1з М., Сотри!аб!1!!у алд !?ляо!оаЬ!Иу, Не~ч г"огйа МсбгаиН!й. 1958 рр- 210. Классическая работа по теории вычнслнмости. 70. РачЬ М.. Нй Ьег('з Теп(Ь РгоЫеш !з )Лпзо1наЫе, ТИе Атепсал АдагИета1!са! Мол!И!у, 80, )чо. 3, 1973, р.

233 — 269. Дэвис приводит полное доказательство Матиясевича неразрешимости десятой проблемы Гильбсрта. 71. 1)ачЬ М., Негзс!г !1., НИЬегРь 101Ь Р(оЫегп, Яс?ел!у1с Атег!сал, 229, Ь)о. 5, МочешЬге 1973, р. 84 — 91. Популярное объяснение доказательства того, чтодесятая проблема Гиль- берта неразрешима. 72. 1)епп!з Л., Моди1аг, АзупсЬгопоиь Соп1го1 З!гис(игез 1ог а Н)йЬ Рег1огшапсе Ргосеззог, 7?есогд о) !Ие Рго!ес! АЛАС Соп)егепсе ол Солсипел! $уя!етя аги1 Рига)!е! Сотри!а!!ол, Ыеч Уогрл АСМ, Липе 1970, р. 55 — 80. Приведены примеры использования сетей Петри для описаияя механизмов управления сложными ЭВМ. Конечной'целью должна являться разработка автоматических механизмов реализации сети Петри как цифровой системы.

73. 1)епп)ь Л. (Едйог), ?(есогд о! Гпе'Рго!ес! МАС Сол)егелсе ол Солсиггел! Яуя!етя алд Рига!!е! Сотри!а!!ол, Ыегч Уогйл АСМ, Липе 1970, рр. 199. Конференция в Вудс-Холле собрала на несколько дней вместе 27 исследователей по параллельным вычислениям и в конце концов привела к выпуску этих материалов. Работы, касающиеся сетей Петри, включают (70, 127, 232), а также превосходную библиографию. 74. 1)епп!з Л., Сопсиггепсуйп Зойячаге Зуз1ешв, Сошри1айоп З!гис(игез Огоир Метло 65-1„Рго)ес! МАС, МавзасЫжейь 1пь1йи!е о1 ТесЬпо!ойу, СашЬпдуе, МазвасЬизе1Ь, Липе 1972, рр. 18; Адоалсед Соигяе ?л Яо?!гааге Елу!леег?лу, Вег!)п: Зрг!избег-Чег1ай, 1973, р. 111 — 127; Еесриге Но)ея !п Сотри(ег Зсгепсе, ЗО, Вег!!и: Зрг1пдег-Чег!ая, 19?5, р. 111 — 127.

Сети Петри используются в качестве модели параллельных вычислений для иллюстрации задач детерминированности н связи между процессами. 75. 1)епп!з Л., Райй 3., Зреед 1пдерепдеп! АяупсЬгопоиз С!гсш)з, Согпри!а11оп З!гис)игез Огоир Мешо 54, Рго)ес) МАС, МаззасЬияейз 1пв!Ии(е о1 ТесЬпо1оду, СатЬгЫйе, МазвасЬизейз, Лапиагу 1971, рр. 5; Ргосеед!луя Роля!И ?!ава!! !л!егпа!гзола! Сол7егелсе ол Яузтетя Яс?елсея, ()п!чегьйу о1 Надай, Нопо1и!и, Начгай, Лапиагу !971, р.

55 — 58. 76. 1)спп)з Л.. Чап Ногп Е., Ргоягапип)пй Зешап(!ся 1ог Мий)ргойгашгпед Сотри!айопз, Соттял1са7?оля о7 !Ие АСМ, 9, Ыо. 3, 1966, р. 143 — 155. Аннотцронанная библиография 241 77. ПеЧИ!егв К., !.оисйагс! П., Кеа!1гаИоп о1 Ре1г! Ые!в '»Ч!!Ьои! Сопс!!Попа! 5!а1ешеп(в, 7лтогта(соп Ргосевтслй Ье1!гтв, 2, 14о. 4. Ос1оЬег 1973, р. 105 — 107.