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

78. П!)!сь(га Е., Бо!иИоп о1 а РгоЫеш ш Сопсиггеп( Ргоцгаш Соп1го1, Соасатцясса(соня от' Йг АСЛ4, 8, Ыо. 9, 1965, рр. 569, 79. П!!!св1га Е., СоорегаИйй $ес)иепИа! Ргосеяяез, тп Г. Сепиув (Е41- 1от), Ргойгалтт!ай Лащцайгв. Несч т'ог!с: Лсадетп)с Ртеьь, !968, р.

43 — 112. Вто классическая работа, в которой впервые введены Р- и У-операинн над семафорами. 80. ЕИВ С., Сопя!в!енсу апб Соггес1певя о1 ПирИса(е Па1аЬаве 5уь1етв, Хегох 3уя!ешв 3с!епсе 1.аЬога1огу, Ра1о Л1!о 1(еьеагсЬ Сеп1ег, Ра1о Л11о, Са!Иогп!а, 1977, рр. 28. 8!. Гегпапбег С., Ме1 Торо1щу 1, 1п1егпа! Керог1 75-9, 1пвИ1и1 1иг 1п1огшаИопявув1еш!огзсЬищ Пезе)!зсЬа!1 1иг Ма!ЬешаИЬ ипб Ва(епчегагЬе1- 1ищ, Вопи, ЪЧев1 Стегшапу, !975. 82. Гегпапс!ег С., !с!е1 Торо!оку П, 1п(егпа! )!грот! 76-2, 1пв1Ии1 1иг 1п(оппаИопввув1еш(огясЬищ, ПевеИ»сЬа!1 1иг Ма(ЬетпаИЬ ипс! Па(епчегагЬе!!ищ, Вопп, ЪЧев1 Сеппапу, 1976.

Со времени появления первой работы, которая привела к модели сетей Петри, общая теория сетей разрабатывалась Петри н другими исследователямн. Эти два отчета «Топология Сети 1» и «Топология сети !!» связаны с исследованием алгебраических (математических) свойств сетей в рамках общей теории сетей. В отчетах много определений, теорем н докаьательетв и не содержится интуитивных рассуждений 83.

Гоо 5., Миянгаче С., СошрагЬоп о! СгарЬ Мобе!в 1от Рата!1е! Сошри!аИоп апб ТЬе!г Ех1епяоп, Ртоггес!!яая от' !Ьг 1975 !н1гтна1!ола! Яулсровсцас ол Соатрцтгг На»с!гааге Ттеягг!р1сол Еащцаягя алс! Тйест Арр!сга!1оля, Мент Уогйл 1ЕЕЕ, 5ер1ешЬег !975, р. 16 — 21.

84. Гит(ей Г., Моди!аг 1шр!епюп1аИоп о1 Ре1п Неть, Мав1ег'в 1Ьев!ь, Верят)шеп( о1 Е1ес1пса1 Ещ)пеег!щ, МаввасЬиве!!в 1пяИ(и(е о1 ТесЬпо1ону СагпЬпбае, МазвасЬиве1Ы, !971, рр. 136. 85. Гиг1ей Г., Л Метч ЛрргоасЬ 1о Ре1г! Ые!в, Сотпри(аИоп 5Ыис)игев Сгоир Меню !23, Рго!ес! МЛС, МавзасЬиве11в 1пвИ!и1е о1 ТесЬпо!щу, СатпЬг)бйе, МазвасЬстзеИя, 1975, р. 26. 86. Гиг(е1с Г., ТЬе 1.од!с о15ув1ешв, РЬ. П. б!вьет(аИоп, Оераг1шеп1 о( Е!ес1пса1 Ещ)пеег!щ, МзввасЬияе!1в 1пвИ1и1е о1 ТесЬпо!ойу, СаптЬг!с)не, МаввасЬиве!1з, !976, рр. 176; Тесйп(са! Вериг! 170, ! аЬота!огу 1ог Сотпри1ег Бс)енсе, МамасЬиве1!в 1пзИЫ!е о1 ТесЬпо!ойу, СашЬг!бде, МавяасЬше!ЬЬ 1976, рр. !76.

87. Сепг!сЬ Н., Е!п(асйе п!сЬ1-вес!иепИеИе Ргогевье (5!тпр1е Мопвес!иепИа! Ргосевяеь). Вериг! 37, 1пвИ(и1 1ит 1п!оппаИопьвув(епбогвсЬипй, Пете!1- ясйаИ 1иг Ма(ЬетпаИЬ ипб Па1епчегагЬейищ, Вопп, варев! Сеппапу, !971 (1п Степпап). Упоминается в работе (127) как квляющаяся полным исследованием маркированных графов. 88. СеппсЬ Н., Ех1еттбеб 3!тр!е йе8и!аг Ехргевяопз. 1.ес1иге Но1ев !п Сошри1ег 5с)епсе, 32, ВегИпт 3рг!щег-Чет!ай, !975, р. 231 — 237. 89. Сепг!сЬ Н., ТЬе Ре!гт 1(е! )сергевап!аИоп о1 МаИЬешаИса1 Кпои)ейное, 1п(егпа1 йерог! 76-5, 1пв(Ии! 1иг 1п(оппаИопяяув(епбогвсЬищ, дезе!!ясЬа11 1иг Л!а!Ьешай)с ипб Па1епчетагЬеИипй, Вопи, Чстеь1 Пегптапу, Мау 1976, рр.

30. Используются сети Петри для представлении теорем, аксиом, лемм н других соотттощений. 90. СеппсЬ Н., Ьаи1епЬасЬ К., 3упсЬгопыаИопяйгарЬеп, Асса 7лтопнаГуса, 2, Ыо. 2, 1973, р. 143 — !6! (!и Пег»пап). 91. ПеппсЬ Н., Ьаи(епЬасЬ К., Гас!з ш Р!асе/Тгапя!Иоп-Ме(в, Ргоггеауяра о7 !Ле дятел!Л Юрлтратсцлс ал Л!атйелта1тга1 роцнс!а!толя о7 Солтрц1ет бгт'- гаге 1978, Ьес!иге Ыо1еь !п Сотпри1ег Бстепсе, 64, ВегНп: 5рг!щег-Чег!ак.

Зер1етЬег 1978, р. 213 — 231. 92, Ссепг!сЬ Н., 5!апй!етл!сг-уст!есйпо Е., Л рйсИопагу о1 5отпе Вав!с 242 Аннотированная библиогра4ия Ъ!оИопв о1 Ые1 ТЬеогу„Айшапсей Соигье оп Оепега! Не1 ТЬеогу о1 Ргосеязез апй Яуь1ешв, НашЪигя, Ос1оЬег 1979; 1.ес1иге Ь!о1ез ш Согпри(ег Яс1епсе, Вег- 1!п: Зрг!пает-Чег!ай 1980. 93. Оепг!сЬ Н., ТЫе!ег-Меч!язеп О., ТЬе Св!си1ив о1 ГасЬ, Рлкеейрлдя ог' йе Г!7й Лутроя!шл ол йе Майгта!!са! Роилйа!соля ог Сотри1ег Зс!лесе, 1.ес(иге Ыо(ев !п Сошри(ег Зс!енсе, 45, ВегПп: Ярг1пйег-Уег!ад, Яер1ешЬег !976, р. 588 — 595. Дается описание исчисления предикатов первого порядка как сети Петри.

94. Сепг!сЬ Н., 1.аи1епЪасЬ К., ТЫаяага!ап Р., Ап Отепчеш о1 Не1 ТЬеогу, Айчапсей Соигве оп Оепега! Не1 ТЬеогу о1 Ргосевьев апй Зуь1ешв. НашЪшн, Ос1оЬег 1979; 1.ес1иге Ыо(ея 1п Сошри1ег Зс(енсе, Вег!!и: Зрг!пяегУег1ая, 1980. 95. ОЬовЬ Я., Яогпе Сопппеп(я оп Т!гней Ре1г! ЫеЬ, АГСЕТ Лоигпеев зш 1ез Кевеаих йе Ре1п' (АГСЕТ ЪогйзЬор оп Ре1г! ХеЬ)„Раг!я, Ггапсе, МагсЬ !977, р.

213 — 226. 96. ОЬозЬ Я., 51гис1игей Ре(п Ь!е(з, !верог1 49/77, 1.еЬгв1иЬ! 1п(оггааИ(с, Пп!четв!1а1 Рог1пшпй, ЪЧеь1 Оегшапу, Аияиь1 1977, рр. 27.- Определяется подкласс сетей Петри, иерархически объединяющихся для создания ббльших сетей, активность которых гарантируется. 97. СВ1Ьег1 Р., СЬапй(ег %., 1пЬг1егепсе Ве(тяееп Сопппип!саИпн Ргосеяяеь, Соттишса!гволя сг йе АСМ, !5, Ыо. 3„1972„р. ! 71 — 176. Конечна-автоматная модель параллельных вычислений, использующих для связи общую память. 98. С611 А., 7л$гоаис11ол 1о йе Тйесгу о7 Ррл!!е 3!а1е Масlйлея, Ыетг Уогул Мсбгав-Н1!1, !962, рр. 207.

99. О!пяЬигн Я., Тйе Майста!!са! Тйеогу о7 Сол(ек! Ргее Еалуиауея, Ыетч Уогй: МсбгачнН!!1, 1966, рр. 232. Математическое изложение части теории формальных языков. Работы по ограниченным языкам, теореме Парнха н полулинейным множествам соотносятся с работой по языкам сетей Петри. 100. О!пзЪигн З., А1уеЬгарс ала Аи!ота!а-Тдеоге!!с Ргорег!ея о7 Госта! Лащиадвя, Ашз1егйаш: Ыог(Ь-Но!!апй, 1975, рр.

3!3. 10!. О!пвЪигя Я., Зрап!ег Е., Яеш1нгоиря, РгевЪигйег Гогпш1ав, апй 1.апйиайев, Розга уоигла! ог Майета!1ся, 16, Ыо. 2, 1966, р. 285 — 296. Показывается связь между контексно-свободнымн языками„полулинейностью и арифметикой Пресбюргера. 102. О!гаи!! С., !(езеаих йе Рейй е1 ЯупсЬгопЬаИоп йе Ргосезвив, ТесЬ- п!са! Йерог( 78.02, 1пвИ!и1 йе РгонгашшаИоп, Бп1тегвИу Р!егге е1 Мапе Сипе, РагЬ, Ггапсе, 1978, рр. 19 (1п ГгепсЬ!.

103. ОойЬегяеп Н., Меуег В., Гипс(юп Ые(в ая а Тоо1 1ог 1Ье 3!ши!аИопз о1 1п1оппа(юп Яув1ешв, Ргссеей(луя ог йе Зиттег Сотри1ег $!ти!а!!ол Сол/егелсе, Ли!у 1978, р. 46 — 53. 104. Оов1е!очг К., Г!отс о1 Сон!го!, Кезоигсе А11осаИоп апй 1Ье Ргорег Тегш!паИоп о1 Ргойташв, РЬ. О. й!взег1аИоп, Сошри1ег Яс1епсе Вераг(шеп1 Бштеггй1у о1 Са1Иогп!а, 1.оз Апде1ея, Са(Иогп!а, 3ЭесешЬег 1971, рр. 301. Одна работа нз серии отчетов н диссертаций, в которых разрабатывается модель вычислений в виде графа БС!.А.

В этой дессертацни определяется свойство завершения н разрабатывается алгоритм определения возможности полного завершения. В приложении показывается, что сети Петри и графы ПСЕА почти эквивалентны, но позиции сети Петри ошибочно ставятся в соответствие вершинам графа ПС(.А, а не дугам графа при правильном сопоставлении, поэтому результаты ошибочны. 105. Ооз1е(ов К., Сошри1аИоп Мойи1ея апй Ре1п' Ые(в, Ргосеейрлуя ог йе Т7йгй 1ЕЕЕ-АСМ М!1иаийее Здтроя!ит ол Аи!ота!7с Сотрийа!!ол алй Сон!го!, Хеш Уогра !ЕЕЕ, Арп! 1975.

р. 345 — 353. Определяется н обсузгхается свойство полного завершения сети Пзтри. Вполне оканчивающаяся сеть Петри моэгет быть помещена вместо перехода в другую сеть без образования тупиков. Аннотированная библиография 106. СгаЪоять!г! Л„ТЬе !Лпьо1чаЫ! Ву о! Яоше Ре1п Хе! $.апниайе РгоЬ- 1ешв, 1лгоггпа!!он Ргогеььшй 1 г!!егь, 9, Мо. 2, Анния! 1979, р. 60 — 63. 107.

Насос М., Апз!уь!ь о! Ргобис!!оп ЯсЬеша!а Ьу Ре1п' Хе!в, Маь(ег'в 1Ьев!в, Пераг!гпеп! о! Е1ес!гка1 Епй!пеег!пй, МаввасЬиве!1в 1пвН1и(е о! ТесЬ- по!ону, СашЬг(бйе, МамасЬиьейв, ГеЬпагу 1972, рр. 119; ТесЬп!са! Вериг! 94, Рго)ес! МАС, МамасЬиье(Ь !пв111и1е о! ТесЬпо1оду, СашЬг!дне, Мама- сЬимйв, ГеЬгиагу 1972, рр. 119; Егга(аг СоггесНопя !о Апа!увЬ о1 Ргобис- 1юп 5сЬегпа1а Ьу Ре(п! ЫеЬ, Сошри1а1юп 51гис1игев Сггоир Но(е !7, Рго!ес1 МАС, МамасЬиье!1в 1пвШЫе о! ТесЬпо!ону, СашЪг!бне, МаввасЬивеНь, Липе 1974, рр.

!1. В втой диссертации вводятся сети Петра со свободным выбором и иссле- дуются их свойства. Главнымн реьультатамн являются необходимые и доста- точные условия для активности и безопасности. Проведена также работа по декомпозиции сетей со свободным выбором н более простые подсети. 108. Нас!г М., ТЬе Сгибе!1та1!оп о! Ре(г! Ые!в апб Ъ'ес1ог АИйюп 5ув1ешгь $)приЫ!вЬеб, Мау 1973, рр. 9.

!09. Насос М., Ех(епдеб 51а1е-МасЫпе АПоса1вЫе Не!ь (ЕБМА), ап Ех- 1епь!оп о! Ггее СЬо1се РеЫ !(с! Кеви!!в. Сотри(а1!оп 5!гис!игев Огоир Мешо 78, Рго1ес! МАС, МамасЬиве1Ь 1пьН(и1е о! ТесЬпо!ойу, СагпЪгЫйе, Маява- сЬиве11гз Мау 1973, рр. 33; гет!веб ав Меню 78 — 1, Липе 1974, рр. 38. 11О. Нас$~ М., А Ре1п' Ме1 Четь)оп о! ЙаЫп'я (Лпг)ес!г!аЫ!!1у Ргоо! !ог Уес(ог АИШоп Буь!ешь, Согнри1а1!оп 51гис!игеь Пгоир Меню 94, Рго!ес1 МАС, МаььасЬивеНь 1пь1!1и(е о! ТесЬпо!ойу, СагпЬг!бйе, МавьасЬим(Ь, гЛе- сегпЬег, 1973, рр. 12.

Представляется доказательство неразрешимости задачи о подьшожестве для множеств досгнжимогти в сетях Пегри. Первоначальное доказательство Рабина,как вто сообщалось в [26), было дано длн систем нектарного сложения. Это доказагельство имеется также [1!6[ и представлено здесь в гл.5. !1 !. Нас!г М., ПесИоп РгоЫешь !ог РеЫ НеЬ апд Чес(ог АИШоп Зуь- 1ешв, Сотри(а!!оп 5!гас!игев Сгоир Метло 95, Рго)ес1 МАС. МамасЬиьеНв 1пз111Ые о! ТесЬпо1ону, СашЪг!бце, МеззасЬиве11ь, Магсй 1974, рр. 79. гетЬес1 ав Мегио 95-1, Анния(!974; ТесЬшса1 Мегпо 59, Рго!ес1 МАС, Мама- сЬивеНв 1пяШЫе о! ТесЬпо!ойу, СагпЬг!Ияе, МамасЬиье1Ь, Магсй 1975, рр.

7. В этом отчете собраны три основных результата: (1) эквивалентность обобщенных сетей Петри сетям Петри с ограничениями (без петель и с крат- ностью, равной нулю нли единице); (2) неразрешимость вадачи о подмножест- ве для множеств достижимости в сетях Петри (см. также [110[) и (3) эквива- лентность задач активности и достижнмости (см. также [1!3)). 1!2. Нзс!г М., Ре1п! Ье(в апд Согпгпи1а(пе Беш!нгоирь, )ЛприЫ!ьЬеб, Ли!у 1974, рр.