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

Ча)Ь й., Яе)1-Мот)1!у)пя ИеЬ, АГСЕТ )оигпееь зит 1ез йеьеаих т)е Ре1п (АГСЕТ %от)тьЬор оп Ре1п' ИеЬ), РагЬ, Ггапсе, МагсЬ 1977, р. 161— 198; ТесЬптса! йерот! 34, )пь!Ии! !иг )п!оппа!Ит, Ошнегя1у о! НашЬигя, .)и)у 1977, рр. 36. 294. Ча)Ь й., Яе!1-Моб)1у)пя Ие)ь — А Иа!ига1 Ех)епзюп о! Ре)п' ИеЬ, Аы!ота!а, Еалуыауеь алт) Ргоугатт!пу, Еес!иге Ио)ез )и Сотри!ег Ястепсе, 62, Вег! )пт Ярг!пйег-Чег)ар, Ли)у 1978, р. 464 — 476. 295. Ча1)т й., Оп Сче Сошри!аИопа1 Ронгег о! Ех!епт)еб Ре!п) ИеЬ, Ргосееатлуз ог йе Зтелй Зутров!ыт ол А(атуета!!са! Гвалт)ат!олз и! Сотрытег Зстелсе 1978, !есЫге Ио1ез ш Сотри)ег Ястепсе, 64, Вег1)п: Ярг)пйег-Чег)ау, Бер!етпЬег 1978, р.

526 — 535. 296. Ча)Ь й., ЧЫа)-Иаг)ие! О., Оп )Ье йе)айопа)Иу о1 Ре1г! Ие) ! апйиаяев, Ргосеег)!пузо!* !ле Т!т)гг) С1 Солгегелсе ол Тйеогебса1 Сотри!ег Зстелсе, Еес!иге Ио)еь тп Сотпри1ег Бстепсе, 48, Вег1шт Ярг!пйег-Чег)ад, МагсЬ 1977, р. 319 — 328. 297. Ча)еНе й., Ревспрйоп е! ЧепИса!)оп т)ез Яуз!етиез РагаВе)ез, АГСЕТ Лоигпееь зиг !ев йеьеаих т)е Ре)г) (АГСЕТ !ЧогйвЬор оп Ре1п' Ие1ь), Раг)з, Ггапсе, МатсЬ 1977, р. 1 — 12 (1п ГтепсЬ). Аннотированная библиогра4ив 298.

т(а!е11е К.. Апа1уз(з о1 Ре(п' Ые!ь Ьу 51ерчАье Ке((петен(в, Лоигла! о) Соглри(ег анг( Яуз(егл Зс(засея, 18, !чо. 1, ГеЬгюху 1979. р. 35 — 46. 299. Чап 1 ееюиеп Л., А Рагйа! Яо!пйоп 1о 1!те КеасЬаЬт!Иу РтоЫет 1ог 1(ес(ог АтЫИюпЗуь(еюь, Ргоссе(((лдзо( ((те 8(х(Ь Аллиа( АСА4 ЗултраФитол Тиеогц о( Сотпри((ля, Хетт тогйа АСМ. Арп) 1974, р. 303 — 309. Показывается разрешимость задачи достижимасти для размерностей адин, два или три.

300. тгапдепе О., Ибпа( Л., ЗетпапВцпе д'Епопсез бе БупсЬгопЬаНоп еп Теплея бе Кеьевах бе Ре!п, АГСЕТ Лопгпеез яиг 1ез Кеьевцх бе Ре1п АГСЕТ 1йогйьЬар оп Ре1п (Че(з), Рагйп Ггапсе, МагсЬ 1977, р. 137 — 156 (1п ГгепсЬ). 301. Ъ'тба1-Ызбае( О., Ме(Ьобв ропг 1ез РгоЫетпев б'!пбес(баЫ1Ие е! бе Сотар!ехИе ьпг !ез Кезеапх де Ре1г!, АГСЕТ Лопгпееь зпг 1ев Кезеаах де Ре1г1 (АГСЕТ %огЬзЬор оп Ре1г1 Ые(ь), Рагин Ггапсе, МагсЬ 1977, р, 199 — 206 (1и ГгепсЬ). 302. (то1апяйу 3., ОгарЬ Мобе! Апа!уз!в апб 1тр!ептеп(аВоп о( Сотпрп1а11опа1 Зеопепсез, РЬ.

О. 61ззег1а1юп, Сстпрп(ег Бс!епсе Оерзхйпеп(, ((п(четь!- !у о( Са(1!огп!а, (.оз Апбе!ез. Са)!(огп!а, Липе 1970, вр. 187. 303. чт!пйочгзЫ Л., Гоппа! ТЬеопез о1 Ре1п 7(е(ь апд )т(е! 5!юп)а!!оп, СС РАЗ Керог1 242, Сапрп1аНоп Сеп1ге, Ро!ВЬ Асадеюу о1 Яс(епсез. т(тзгзатч, Ро)апб. 1976, рр.

23. Рассматривается абстрактная модель сетей с аксиомами. Примеры этих аксиоы образуют модели теории. Как и в (243), затрагивается поиития теории сетей, 304. таюатпо1о К., Ап АрргоасЬ 1о Ое1ес1!пб БупсЬгоп(язтюп Еггогз тп СопспггепВу ЕхесЫаЫе Ргаргапи, Ргосепйпря о(' (Ае (т'(л(А Аз((олтаг Сел(егелсе ол Сгюочз, Яуз(егпз, апб СотпрпЬтз, НочетпЬег 1975, р. 154 — 158. 305. тое1! М., Рейб !Че(з апд АьупсЬгопопз Соп1го! Ые(тногйв, ТесЬпюа) Керог1 СЯ-73-07.

ОерагЬпеп1 о1 Арр1тед Апа1угдь апд СппрЫег Бс(епсе, ((птчегзИу о1 Фа1ег!оо, %а1ег!оо, Оп(зпо, Арп! 1973, рр. 22. 306. тое1! М., Вать(!а( Е. Оп ВеЬалага! ОезспрНопз о1 СатвппЫсв1!опь ЗвтИсЫпб Зуз(етпя, ТесЬп!са! Керх1 99, ТесЬпюп — 1ьгас! 1тть(Ии(е о1 ТесЬ- по1сбу, НаЛа 1згае1„Липе 1977, рр. 24; О(84(а( Ргосеззю, 3, !977 р. 307 — 320. 307. т'и Б., Мига(а Т., РТ-пьмйеб ОгарЬя: А Кебпсеб Мобе1 о1 Ре(п 7(е!з, Ргосегй(луз о( (Ае 16((т А((ег(оп Сел(егелсе ол Сотлтил(са((ол, Сол(го( алт( Сотрийлу.

ОсЛпЬег 1978. 308. Хегчоз С., Со!отед Ре!и !те!в: ТЬе(г РгорегИев впд Арп!1са1!опь, ТесЬп(са! Керог1 !07, Буз1епи Епб!пеег(пб 1аЬога1огу, Бп!чегзИу Ж М(сЫбап, Апп АгЬог, МтсЫбап, Лаппвгу 1977, рр. 317. 309. Епве К., Ре(г(-!Че!з 1гтзп бте Епб(пеег'ь 'ч" течбю)п1, Ат1чапсеб Соцгзе оп Оепега! Ь!е! ТЬеогу о1 Ргосезьез апб Буь!еюь, НмпЬцгб, Ос1оЬег 1979; Еес1пге Хо(ез !п Сстпри1ег Яс!епсс, Вег11п: Брт(сбег-Уег1ая, 1980. ПРЕДМЕТНЫЙ 3!НАЗАТЕЛЬ Автомат 44 — 49. 207.

208 Активность 85 Ллфавнт !50 Арифметика Прегбюргера И7 Аснихроиность 40 Безопасность 79. 93 — 100 Елок-схема 57 — абстрактпая 57 Блок функциональный кратный 54 Вентор проверки 221 Вершина граничная 92 — дублирующая 93 — терминальная 92 Вэвеюивание 82 !У-операцллп 69-70. 21 1 — 213 Выполнение сети Петри 24 — 28 Вычисление слабое 133-139 $'омоморфизм !73 Грамматика коммутативнан 182 Граф вычислений 208 — 211 — маркированный 200, 239. 241 — полниомов 132 — сети Петри 18 — ОСВА 223, 242 Лерево достнжимости 90 — 106 Лсгермнинрованность 55 Пополнение 170 Достнжимость 87 — 89 Длга сдерживающая 191 В-выражение 149, 248 Е-сети 253, 254 Задача досгижимости 87 — 89, П — — нули П — — — в одной гюаицин 118 — — подиаркировкн 115 — неразрешимая 115 — о включения з'рафов поляномов 132 — — курильщиках сигарет 188 — — производителе!потребителе 65 — 67 — — чтеяпгг/записи 68.

69 — об активности 126 — — — одного перехода !26 — об исключении взанллном 63 — 65 — — обедающих мудрецах 67, 68 — подиножеетэа 114 — покрывземостн 87 — 89 — равенства 11Я вЂ” эквивалентности 1!6 Замкнутости свойство 158, 162 — 173 Запуск перехода 24, 25 Звезда Клика 170 Значение пороговое 209 Исключение взаимное 64 Класс маркировок 31 — обратных маркировок 31 — прямых маркировок 31 Кольца позиций 124 Комплект позиций 15. 16 Композиция параллсльная 51, 165 — повторная 170 †1 Компонеэт 10 Конкатенация 163.

164 — бесконечная 170 Конфликт 43. 44 Кратность позиций 16 КРУжок 17 Ловушка Ж2 Логика И 186 Маркировка 202 — достилкимая 29 — негюсредственно достплкнмая 29 Машппа Регистровая 197 Миолкество достижимости 29„30 — — для системы слаженна векторов 227 Моделирование 9 Модель 9 — эквивалентная 207 Мощиосгь комплекта 232 — моделирования 155 — разрешения 185 Мультнграф 18, 21 Область 233 — ограничения 185 Обработка нонвейериая 49 — 54 Обращение 169, 1УО Объединение 164 Ограниченность 81 Одновременность 40-44. 61, 62 Оп изацня 148 — и9 Отображение Париха 10У.

233 Параллелизм 10, ЯΠ— 44, 61-62 РУР-системы 69, 211 — 213 Переключатель 186 Пересечение 167-\ 69 Переход 15 — вктнвныя 86 — исключающего ИЛИ 186 — пассивный 86 — - потенциально запустииый 86 — разрешенный 24 Планка 17 Подклассы сетей Петри 199 — 2!и Подкоиплект 232 Подстановка ИЗ вЂ” конечная 173 Позиция 15 — безапаснап 79 — вхолная 15 — выгодная 16 — достюкимая 29 — й-безопасная 8! — й-ограиглченная 81 — начальная 151 — ограинченнав 81 Предметный указатель Пакрываемасть 37 — 89 Полнота 188 Пан ечехне 152 Р-операцпя 69, 70, 2П вЂ” 213 Последовательность запускав 89 — маркщювок 29 — яерелодов 29 Постусловне 36 Предусловне 36 Пряорптет 190 проблема тальберга десятая Проверка на нулевую маркировку 191 Пространство састояннй моделей параллельных вычисленный 206 — — сетей Петри 28 — 33 Процесс программный 214 — запальный 214 Пузах дуг 21, 22 Сеаднмасть 114 — 118 Секцнн критическая 64 Сеть Петри 15 — — автоматязя 200, 9!5 — — безопасная 79 — — без петель 122 — — вполне оканчивающаяся 172 — — лвайственввя 20 — — инверсная 22 — — маркированная 23 — — нереФлексивкая 122 — — обратпмая !46 — — ардняарная !22 — — помеченная 154 — — праэнльнап 204 — — простая 122, !23 — — расширенная 197 — — с ограпнченнямн 122 — 126 — — свободно-поз~еченнэя 152 — — со свободным выборок З!2 — — сохравяюпсая 82 — — строга сохраняющая 82 — — эквивалентная !48 Сннхроннзацвя 11.

63 Снстема замицения векторов 228 — передачи сообщеннй 2!3 — 221, 25У вЂ” слаженна аекпзрав 227 Сложность алгорнтма 117 Собьпие Зб — мгновенное 41 — неодновременное 41 — непрнмптквное 42 — арнмнтнвное П Совмещенность 10 Ссюбщенне 2!4 Ссстаянне Ю, 28 — начальное !51 — тупика ВУ Степеяь МЗ Строка !50 — пустая 150 Сумма взвешенная 82 Таблнца резервировання 55 Теория разрешимости 115 — сетей петри прикладная 13 — — чнстая 13 — Формальных нзыков 150 Тупак 203, 208 Урзвненне дноФантаво 131 — матричное 106 — П1 Уровень акткзяастя 86 Услоане Зб Фншка 22 — окрашенная 35, 204, 2!И вЂ” разре)веющая 24 Формы определения сетей Петри альтернатнвные 33 Функция входная 15 — — расширенная 16 — выходная 15 — — расширенная !6 — следующего «астояпня 28.

29 — — — расширенная 30 Цнял 201 Член хомвлекта 231 Язык моделнраваякя прогрзмчных процесСав 214 — коктекспкьсеободный П4 — 177 — -- огранячеппый !77„!78 — контекстно-связанный 1У — !8! — РегУлярный !74 — сети Петри й-тяпа 152, 153 — — — П-тяпз 152, !58 — — — Р-твпа 152, 153 — — — Т-тппа 152. 153 ОГЛАВЛЕНИЕ Джеймс Питерсон ТЕОРИЯ СЕТЕН ПЕТРИ И МОДЕЛИРОВАНИЕ СИСТЕМ Предисловие к русскому нзданшо Прсанславне Глава 1. Введение Глава 2. Основные определения Глава 3.

Сети Петри для моделирования Глава 4. Анализ сетей Петри Глава 5. Сложность в разрешимость . Глава б. Ламии сетей Петри Глава 7. Расширенные и ограниченные модели сетей Петри Глава 8. 31оделн параллельнмх вычислений Обзор теории комплектов Аннотированная библиография Предметныи указатель Научный редактор Т. П.

Шестакова Мл. научные редакторы 10. Л. Евдокимова. Н. И. Снвипева Художник Г. А. Шипов Художественный редактор В. Б. Прищепа Технический редактор А. Г. Реаоухова КоРРектор Н. В. Андреева сдано в набор 15.08.85. подписано к печати 18.053ь формат ООХООЧм. Бумага типографская 78 2.

Гарнитура литературная. Печать вмсокая. Объем 8,26 бум. л. Ъ'ся. печ. а. 16.80. уса, кр:отт. 1аШ. 3'ч.-иая. я. !6,50. И;щ, М 20/2754, Тираж 8400 зка. Зак. 582. Цена 1 р. 70 к ИЗДАТЕЛЬСТВО «МИРь Москва, 1-й Рижский пер., 2. Яросяавский паяиграфкомбинат Сокзповиграфпрома при Государственном комитете СССР по делам иадатеаьста. поавгрсфин и книжкой «орговик. 1ЯО!4, Ярославль, ул. Оюбоды. 07.

3 7 9 13 38 79 114 148 133 203 231 234 262 .