Питерсон Дж. - Теория сетей Петри и моделирование систем - 1984 (1184511), страница 48
Текст из файла (страница 48)
Зто изложение показывает, что по меньшей мере некоторые из правил, регламентирующих процедуру, могут быть представлены интерпретирующнми их сетями Петри. Предполагается, что моделирование юридических систем сетями Петри могло бы принести к лучшему пониманию нх, а анализ модели мог бы привести к улучшению юридической системы.
187. Меспшс Сь, Арр!ссайопь де 1а ИоНов де Зеш)-Г)о(в аих Еевеапх де Ре(г1, АГСЕТ Лоигпееь виг !ев гевеник де Ре(гс (АГСЕТ !УогйвЬор оп Ре(гс ИеЬ), РагЬ, Ггапсе, МагсЬ 1977, р. 207 — 212 (1и ГгепсЬ). 188. Мегпгпс О., Арр()сайойв о! 1Ье Зеш!Пост Иойоп 1о Гпе Воппс1едпевв апд Е!тепеьв РгоЬ)ешь сп Ре1п Ие( ТЬеогу, Ргосем!гнув о1 (йе 1978 Соп1ггенсе оп 1«1огта11оа Яссенсгк алд Зувсеть, ЛоЬпь Ноой!пь (Лп!тегвйу, Ва!йспоге, Магу1апс1, МагсЬ !978, р. 505 — 509; ТесЬпсса! !серег! 78-3, !пв1!1и1 де Ргоигапнпайоп, 11пстегвйе Рсегге е! Маг!е Сит!е, Рапв, Ггапсе, МагсЬ 1978, рр. 5.
189. Мегппп О., Гш1ев дапв1еь Кевеаих де Ре1г1, )!. А. 1. сс. О. 1«1огтаЩие! Тдеоге1сса! Сото«1ег Весе«се, !2, Ио. 2, 1978. р. 125 — 144 (1п ГгепсЬ.) Аннотированная библиограгрия 251 !90. Мепип! О., Гнйез е! Зеш)-Г(о!з дап«!ез Кезеапх де Ре(г), ТЬезе де Оос(еиг 1пйеп!епг, Нпп егИ1е Р!епе е1 Маг!е Сапе, Рагщ, Ггапсе, РесещЬег 1978, рр. 1!7 (1п ГгепсЬ). 191. Меппп(О.„ЫоИоп де Ппа!йе дапз 1ез Кезеацх де Ре1г1„1лгегла1!она! Еутросдит ои гйг Бетапцсг о1 Солсигген1 Сотри1абои, 1 ее(нге Ыо1ез !и Согпрн(ег Зс!енсе, ВегИп: Брг!пйег-Ъгег!ай, Лп1у 1979 (1п ГгепсЬ).
192. Мегппц О., Копса1го! О., 1.!пеаг А!яеЬга !и !«е1 ТЬеогу, Адчапсед Сонгзе оп Оепега! 7(е! ТЬеогу о( Ргосеззез апд 8уз(ешз, НашЬпг2, Ос1оЬег 1979; 1.ес!пге !Мо(ез !и Согпрн(ег Бсгепсе, ВегИп: Зрппдег-Ъ1ег!ай, 1980. 193. МегИп Р., А Япду о! 1Ье КесоъегаЬИВу о! СошрнИпд 5узгешз, РЬ. П. д!злег1аИоп, Оераг1пгеп! о1 1п1оппа1юп апд Сошрц(ег 5с!енсе, Юп!чегз!!у о! Са1Иогп!а, 1гчгпе, СаИ!огп(а, 1974, рр. 181; ТесЬп!са1 Керог! 58, Оераг1шеп1 о1 1п!огшаИоп апд Сошрй(ег Зс(енсе, !)п)чегзйу о1 Са!йоги(а, 1гч!пе, Са!Иогп!а, 1974, рр. 181. Эта диссертация является странной номбинацией многих тель Модель системы строится с помощью сетей Петри.
Затем в нее вносятся ошибки (добавляются или удаляются фишки безотносительно к запусну переходов). В этой ситуации рассматривается поведение системы. «Хорошиел сети Петри в конце концов возвращались к приемлемым маркировкам, тогда как «плохиел — либо заходили в тупик, либо приходили к новым маркировкам, которые появляться не должны. На эту работу сильное влияние оказала работа по модели ЫСЬА и концепция машины фишек, существующая в ее рамках. Кроме того, в диссертации представляется модель временных сетей Петри, в которых переходы должны ждать определенное время после того, как они становятся разрешенными (но до того, как они будут запущены), а затем должны быть запущены в определенный интервал времени.
Такие модели могут представлять ббльшее число систем, поснольку они эквивалентны машинам Тьюринга. Однако в работе Мерлина рассмотрены в основном конечные системы, и поэтому никаких проблем ие возникает. 194. Мег11п Р., А Ме1Ьодо!ойу !ог Ийе Рез!дп апд 1гпр!егпеп1аИоп о! Сопцпнп!саИоп Рго!осо1з, Керог( КС-5541, 1ВМ Т. Л. Ъ!га(зоп КезеагсЬ Сеп!ег, УогИоюп Не!2Ыз, желч УогИ Липе 1975; /ЕЕЕ Тгалгасбопзоп Соттипб саг(олв, СОМ-24, Ь)о. 6, 1976, р. 614 — 621. Времеинйе сети Петри использтются для моделирования протоколов связи. Представлен нрнмер разработки н моделирования протокола временнбй сетью Петри с последующей проверкой протокола и указанием, как этот протокол мог бы затем быть реализован табличным микропрограммным интерпретатором сети Петри.
Конечно, временные сети Петри взяты из диссертации Мерлина. 195. №гИп Р., ГагЬег О., КесоъегаЬ!1йу о! Сопиппп!саИоп Рго1осо!з— !шр1!саИопз о! а ТЬеогеИса! Япду, 1ЕЕЕ Тгангасйопз ол Соттип1са11олг, СОМ-24, Ь(о, 9, 1976, р. 1036 — 1043. !96. МегИп Р., Канде!! В., Сопз!з(еп! 51а1е КеИога(юп !п П(з!г!Ьн1ед Буз!ешз, ТесЬп(са! Керог(! 13, СошрпИпй ЬаЬога1огу, Пп(ъегзИу о! г«еъъсаз1- !е прон Тупе, ЫелгсазИе прон Тупа„Епя1апд, Ос(оЬег 1977, рр.
41. ! 97. М111ег К., А Сошраг!зоя о! Зоше ТЬеогеИса! Моде1з о! Рага11е! СогпрИа!юп, Керог( КС-4230, 1ВМ Т. Л. \Ча1зоп КелеагсЬ Сеп(ег, уогИонп Не(дИз, Кем УогИ 1ЕЕЕ Тталвасг(оиз оп Сотри(егз, С-22, Ео. 8, 1973, р. 710 †7. Сравниваются сети Петри, графы вычислений, схемы параллельных программ и маркированные графы. 198. М!1!ег К., 5оте Ке)аИопзГдрз Ве1нееп Ъаг!опз Моде!з о1 Рага11е1 Вгп апд БупсЬгоп!хаИоп, Керог(-КС-5074, 1ВМ Т.
Л. Ъта(гоп КезеагсЬ Сеп!ег, УогИолчп Не(ййз, абел« 'г'огас. Ос(оЬег 1974, рр. 43. Рассматривается сводимость между сетямн Петри, графамн вычислений, семафорными системами, системамн сложения векторов п системами замещения векторов. 199. МИ1ег КЛЬеогеИса1 Япд!его! АзупсЬгопопз апд РагаИе! Ргосезз!пн, Ггосгед(лйз о1" 1йе 1977 Сол)егеясе ои!проста!(оп Ес(гпсег алд Еув(вт, Лойпа Аннотированная баблаографан Нор)дпв Оп(четв!$у, ВаП!пюге, Магу!апд, МагсЬ 1977, р. 333 — 339. 200. М!пв(гу М., СотраваИол: Р(лйе алд !л7$л((е А(асбглея, Епя!етгоод СИ$(в, Хетт Легвеу: РгепИсе-НаП, 1967, рр. 317. Учебник, в чем-то ведущий свое начало от работ по сетям Мак-$(алока— Питтса, который все еще остается прекрасной работой по теории вычнслимости.
Наиболее интересна для нас гл. 11 по регистровым машинам, но и главы по машинам Тьюринга также имеют отношение к рассматриваемой теме. 201. М!випав Р., Ре(И Ые!в апд бреед 1пдерепдеп1 $1ев!нп, Соттал(са(б оля о7 йе АСА$, 16, Но. 8„1973, р. 474 — 481.
202. МоаПа М., Ри1ои Л., 5Па)дв Л., Кевеаих де Ре1п 5упсЬгоп!вев, К. А. 1. К. О. Аа(отапдае!$уя(етя Ала(уягя алд Сол(го(, 12, Ь)о. 2, !978, р. 103 — 130 (1п РгепсЬ). 203. МоаПа М., Ри1ои Л., Я$а)дв Л., БупсЬгоп!гед Ре$п Ь(е(я: А Иоде! $ог 1Ье ПезспрИоп о$ Ь(оп-Аи(опопюив Буз(ешв, Ргосеедглуя ог Где беоелГЬ Лутроягат ол А(а(бета(гса! РоилдаИоля ог" Сотравег Бс!елсе 1978, 1.ес1ше Ь)о(ев 1п Сотри(ег 5с!епсе, 64„Вег1ш: Зрг!пяег-Уег1ая, 1978, р. 374 — 384. 204. МоаПа М., Я$а)дв Л., Я1ча М., А 1а КесЬегсЬе д'ипе Ме(Ьодо!оа!е де СопсерИоп вите дев Аи$огпа$$вгпев Ьони)иев Вавее вот 1'$)$И!ваИоп дев Кевеаих де Ре1И, Тесбп!са1 Керог$138, !пя(Ии1е о$ Арр!$ед Ма$Ьеша$!св апд Сошргдег Бс!епсе, Огепобде, Ггапсе, Ос$оЬег 1978, рр.
43 (1п РгепсЬ). 205. МогсгеИе М., Уа!!даИоп д'А1доНИппев РагаПе!ев, АррПса$юп а !'Апа!узе Бунтах!г)ие, АРСЕТ Лоигпеев зиг !ев Кевеаих де Ре1г1 (АРСЕТ Ъог1свЬор оп Ре1И Хе(в), Регйп Ггапсе, Матс!г 1977, р. 13 — 32 (1п РгепсЬ). 206, Мига$а Т., Яа(е Ег)иа$$опв, Соп1гоПаЬ!И1у апд Мах!ша1 Ма$с)дпйв о1Ре1г1 Не(в, КеяеагсЬ Керог$ МПС 1.1.10, $)враг!шеи! о! 1п(огшаИоп Епн(- пеег!пн, Ып!ъегвйу о$ П!югдя, СЫсано, П!шож. ПесешЬег 1975; ЛЕЕЕ Тгаляаг($оля ол Аа(ота((с Сел(го! АС-22, Ыо.
3, 1977, р. 412 — 416. Являясь введением в сети Петри для систем в рамках теории управления, эта работа посвящена в основном вопросам представления и анализа сетей Петри как систем с дискретным временем. Управляемость ндостижимость исследуются в терминах матричного представления сетей Петра и максимальных парасочетаний. Работа является первым шагом к взаимному обмену между теорией сетей Петри н теорией оптимального управлении. 207. Мига1а Т., А Ме1Ьод $ог Буп(Ьев!г1пй Магйед Огарбв $гош Опгеп Магй!пйз„Ргогеед(лув о7 !Де Тел(Д Аллан( Ая$!отаг Сол/егелге ол С(гса($я, ЕуяГетя алд Сотри!ага, НотегпЬег, 1976, р.
202 — 206. 208. Мига(а Т., Ре(г! $4е(в, Магйед ОгарЬв, апд С!гсгд1-був1егп ТЬеогу, (ЕЕЕ Сггсьд!в апд Яуя(етв Бос(е(у )Увив(е($ег, 11, Ыо. 3, 1977, р, 2 — 12. Очень хорошее введение в сетя Петри и маркированные графы, изложенное с уклоном в теорию переключательных схем. В работе используется матричный подход к представлению сетей Петри и рассматриваются такие понятия, как управляемость в теоретико-системном смысле.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
