Литература / Сети Петри / Эмулятор сети Петри

ьНХМСФПТ УЕФЙ рЕФТЙ A:hover { COLOR: #ff0066 } ьНХМСФПТ УЕФЙ рЕФТЙ 1. оЕНОПЗП НБФЕНБФЙЛЙ ЙМЙ юФП ФБЛПЕ УЕФШ рЕФТЙ? 2. юФП ЬФП ФБЛПЕ?ч РЕТЧПН РТЙВМЙЦЕОЙЙ ЬФП ЬНХМСФПТ УЕФЕК рЕФТЙ, РПЪЧПМСАЭЙК РТПНПДЕМЙТПЧБФШ ЛБОПОЙЮЕУЛХА УЕФШ рЕФТЙ, Б ФБЛЦЕ ОЕЛПФПТПЕ ЕЕ ТБУЫЙТЕОЙЕ, РТЕДМПЦЕООПЕ НОПА (ЛБУБАЭЕЕУС РЕТЕДБЮЙ ЖЙЫЕЛ).

чПЪНПЦОП ЙУРПМШЪПЧБОЙЕ УМЕДХАЭЙИ ЬМЕНЕОФПЧ УЕФЙ : рПЪЙГЙС (Place) - уПДЕТЦЙФ ПРТЕДЕМЕООПЕ ЛПМЙЮЕУФЧП ЖЙЫЕЛ, ЛПМЙЮЕУФЧП ЛПФПТЩИ ПФПВТБЦБЕФУС ФПЮЛБНЙ ЙМЙ ЮЙУМПН, ПФУХФУФЧЙЕ ЮЙУМБ ЙМЙ ФПЮЛЙ ПЪОБЮБЕФ ПФУХФУФЧЙЕ ЖЙЫЛЙ Ч РПЪЙГЙЙ. рЕТЕИПД (Bridge) - нПДЕМЙТХЕФ ОЕЛПФПТЩК РТПГЕУУ, ЙНЕЕФ ЧТЕНС ЧЩРПМОЕОЙС (Н.В. ЧЩВТБОБ УМХЮБКОБС ЧЕМЙЮЙОБ Ч ЪБДБООПН ДЙБРБЪПОЕ). рТЙ ЪБРХУЛЕ УЕФЙ ЪБОСФПУФШ РЕТЕИПДБ ПФПВТБЦБЕФУС ЛТБУОПК ФПЮЛПК Ч ГЕОФТЕ РЕТЕИПДБ. мЙОЙС (Vector) - сЧМСЕФУС УЧСЪХАЭЙН ЬМЕНЕОФПН НЕЦДХ РЕТИПДБНЙ Й РПЪЙГЙСНЙ, Ч ЛБОПОЙЮЕУЛПК УЕФЙ рЕФТЙ ЧЧПДЙФУС РПОСФЙЕ "РТПРХУЛОБС УРПУПВОПУФШ" - ЮЙУМП ЖЙЫЕЛ, ЛПФПТПЕ РТПИПДЙФ ЮЕТЕЪ МЙОЙА РТЙ ЪБРХУЛЕ, ЕУМЙ ЮЙУМП ЖЙЫЕЛ Ч РПЪЙГЙЙ НЕОШЫЕ ЮЕН РТПРХУЛОБС УРПУПВОПУФШ, ФП РЕТЕИПД ОЕ НПЦЕФ УТБВПФБФШ. с ЧЧЕМ ТБУЫЙТЕОЙЕ ДМС МЙОЙЙ: ЮЙУМП РЕТЕОПУЙНЩИ ЖЙЫЕЛ ЮЕТЕЪ МЙОЙА Й НЙОЙНБМШОПЕ ЮЙУМП ЖЙЫЕЛ ДМС УТБВБФЩЧБОЙС РЕТЕИПДБ НПЗХФ ОЕ УПЧРБДБФШ (ЬФП НПЦЕФ ЙУРПМШЪПЧБФШУС ДМС ПТЗБОЙЪБГЙЙ РЕТЕИПДПЧ ФЙРБ "РТПЧЕТЛБ"). пРПТОБС ФПЮЛБ (Vector point) - ОЕ ОЕУЕФ УНЩУМПЧПК ОБЗТХЪЛЙ, ЙУРПМШЪХЕФУС ФПМШЛП ДМС ХДПВУФЧБ РТЕДУФБЧМЕОЙС ДМЙООЩИ МЙОЙК.

3. йОФЕТЖЕКУрТПЗТБННБ ОБРЙУБОБ РПД Windows 95/NT. рТЙ ОБРЙУБОЙЙ ЙУРПМШЪПЧБМУС ЛПНРЙМСФПТ Borland Delphi 3.

лБЛ ЬФП ЧЩЗМСДЙФ:

4. йУРПМШЪПЧБОЙЕ РТПЗТБННЩч РТПЗТБННЕ ЕУФШ 4 ТЕЦЙНБ ТЕДБЛФЙТПЧБОЙС, ПРЙЫЕН ЛБЦДЩК ЙЪ ОЙИ : пУОПЧОПК ТЕЦЙН (normal mode).рТЙ ЬФПН ЛОПРЛБ ОБИПДЙФУС Ч ОБЦБФПН УПУФПСОЙЙ. ч ПУОПЧОПН ТЕЦЙНЕ, чЩ НПЦЕФЕ УНПФТЕФШ Й ЙЪНЕОСФШ УЧПКУФЧБ ПВЯЕЛФПЧ УЕФЙ, ЛПФПТЩЕ ОБИПДСФУС ОБ ТБВПЮЕН РПМЕ. дМС ФПЗП ЮФПВЩ ПФЛТЩФШ ДЙБМПЗ УП УЧПКУФЧБНЙ ПВЯЕЛФБ, ОЕПВИПДЙНП ЭЕМЛОХФШ ОБ ОЕН РТБЧПК ЛОПРЛПК НЩЫЙ Й, ЪБФЕН ЧЩВТБФШ РХОЛФ НЕОА "Properties".. ч ПУОПЧОПН ТЕЦЙНЕ чЩ ФБЛЦЕ НПЦЕФЕ РЕТЕФБУЛЙЧБФШ ЙНЕАЭЙЕУС ПВЯЕЛФЩ РП ТБВПЮЕНХ РПМА. чЩ ФБЛЦЕ НПЦЕФЕ ХДБМЙФШ ПВЯЕЛФ ЙЪ УЕФЙ, ДМС ЬФПЗП ОЕПВИПДЙНП ЧЩВТБФШ ПВЯЕЛФ Й ОБЦБФШ Delete. тЕЦЙН ЧУФБЧЛЙ РПЪЙГЙЙ (adding place).чП ЧТЕНС ЬФПЗП ТЕЦЙНБ, РПСЧМСЕФУС ЧПЪНПЦОПУФШ ЧУФБЧЙФШ РПЪЙГЙА ОБ ТБВПЮЕЕ РПМЕ, ДМС ЮЕЗП Ч ОХЦОПН НЕУФЕ ОЕПВИПДЙНП ЭЕМЛОХФШ МЕЧПК ЛОПРЛПК НЩЫЙ. рТЙ ОБЦБФЙЙ ОБ УХЭЕУФЧХАЭХА РПЪЙГЙА Ч ОЕЕ ДПВБЧЙФУС 1 ЖЙЫЛБ. тЕЦЙН ЧУФБЧЛЙ РЕТЕИПДБ (adding bridge).ьЛЧЙЧБМЕОФЕО РТЕДЩДХЭЕНХ ТЕЦЙНХ, ОП РТЙ ОБЦБФЙЙ ОБ МЕЧХА ЛОПРЛХ НЩЫЙ ЧУФБЧМСЕФУС ОЕ РПЪЙГЙС, Б РЕТЕИПД, РТЙ ОБЦБФЙЙ ОБ ХЦЕ УХЭЕУФЧХАЭЙК РЕТЕИПД РЕТЕИПД РПЧПТБЮЙЧБЕФУС ОБ 15 РТПФЙЧ ЮБУПЧПК УФТЕМЛЙ. тЕЦЙН УПЪДБОЙС УПЕДЙОЕОЙС (adding vector).рТЙ ДБООПН ТЕЦЙНЕ ПУХЭЕУФЧМСЕФУС УПЕДЙОЕОЙЕ РПЪЙГЙК Й РЕТЕИПДПЧ. дМС ФПЗП ЮФПВЩ УПЕДЙОЙФШ ДЧБ ПВЯЕЛФБ НЕЦДХ УПВПК, ОЕПВИПДЙНП УОБЮБМБ ХЛБЪБФШ ПВЯЕЛФ У ЛПФПТПЗП ОБЮОЕФУС УПЕДЙОЕОЙЕ, ЭЕМЛОХЧ ОБ ОЕН МЕЧПК ЛОПРЛПК НЩЫЙ. мЙОЙС НПЦЕФ ВЩФШ МПНБОПК Й ХУФБОПЧЛБ ПЮЕТЕДОПЗП ХЪМБ МЙОЙЙ ПУХЭЕУФЧМСЕФУС ОБЦБФЙЕН МЕЧПК ЛОПРЛЙ НЩЫЙ ОБ ТБВПЮЕН РПМЕ. дМС ЪБЧЕТЫЕОЙС УПЕДЙОЕОЙС, ОЕПВИПДЙНП ФБЛЦЕ ЛБЛ Й ЧОБЮБМЕ ЭЕМЛОХФШ МЕЧПК ЛОПРЛПК НЩЫЙ ОБД ПДОЙН ЙЪ ПВЯЕЛФПЧ. рТЙ ЬФПН УМЕДХЕФ ХЮЕУФШ, ЮФП УПЕДЙОЕОЙЕ НПЦОП ХУФБОПЧЙФШ ФПМШЛП НЕЦДХ РТПФЙЧПРПМПЦОЩНЙ ПВЯЕЛФБНЙ - РПЪЙГЙЕК Й РЕТЕИПДПН. 5. рТПЕЛФЙТПЧБОЙЕ УЕФЙ. рТПЕЛФЙТПЧБОЙЕ УЕФЙ ЪБЛМАЮБЕФУС Ч ТБЪНЕЭЕОЙЙ ПВЯЕЛФПЧ УЕФЙ ОБ ТБВПЮЕН РПМЕ Й ХУФБОПЧЛЕ УЧСЪЕК НЕЦДХ ОЙНЙ. еУМЙ УЛБЦЕН ЧПЪОЙЛБЕФ ОЕПВИПДЙНПУФШ ЙУРПМШЪПЧБОЙС РПЪЙГЙЙ, ФП ЧУЕ ЮФП ОХЦОП УДЕМБФШ - ЬФП ЭЕМЛОХФШ МЕЧПК ЛОПРЛПК НЩЫЙ ОБД ФТЕВХЕНЩН ПВЯЕЛФПН Ч РБОЕМЙ ЙОУФТХНЕОФПЧ (Ч ДБООПН УМХЮБЕ - РПЪЙГЙЕК), Б ЪБФЕН ПРСФШ ЭЕМЛОХФШ МЕЧПК ЛОПРЛПК НЩЫЙ ОБ ТБВПЮЕН РПМЕ Ч ФПН НЕУФЕ, ЛХДБ чЩ ИПФЙФЕ ТБЪНЕУФЙФШ ПВЯЕЛФ(РПЪЙГЙА). оБ ТБВПЮЕН УФПМЕ ДПМЦЕО РПСЧЙФШУС ЛТХЦПЛ УЙОЕЗП ГЧЕФБ У ВЕМПК ПЛБОФПЧЛПК - ЬФП Й ЕУФШ РПЪЙГЙС. дБМЕЕ ФПЮОП ФБЛ ЦЕ, чЩ НПЦЕФЕ РПНЕУФЙФШ ОБ ТБВПЮЙК УФПМ МАВПК ЙЪ ЙНЕАЭЙИУС РЕТЕИПДПЧ.

рПУМЕ ФПЗП, ЛБЛ чБЫ РТПЕЛФ ЙМЙ ЕЗП ЮБУФШ ВХДХФ УПЪДБОЩ, чЩ НПЦЕФЕ РПФЕУФЙТПЧБФШ ЕЗП Ч РПЫБЗПЧПН ТЕЦЙНЕ ЙМЙ ЪБРХУФЙФШ Ч ТЕЦЙН БЧФПОПНОПК ТБВПФЩ. ч РПУМЕДОЕН УМХЮБЕ, РТПЗТБННБ УБНПУФПСФЕМШОП ВХДЕФ РЕТЕИПДЙФШ Л УМЕДХАЭЕНХ УПУФПСОЙА УЕФЙ.

уПИТБОЕОЙЕ УЕФЙ ПУХЭЕУФЧМСЕФУС МЙВП ЧЩВПТПН УППФЧЕФУФЧХАЭЕЗП РХОЛФБ Ч НЕОА "File", МЙВП ОБЦБФЙЕН ОБ ЛОПРЛХ У ЙЪПВТБЦЕОЙЕН ДЙУЛЕФЩ (ПРСФШ ЦЕ ОБ РБОЕМЙ ХРТБЧМЕОЙС), МЙВП ОБЦБФЙЕН F2. дМС ЪБЗТХЪЛЙ УЕФЙ ЙМЙ УПЪДБОЙС ОПЧПК УЕФЙ ФБЛЦЕ РТЕДХУНПФТЕОЩ УППФЧЕФУФЧХАЭЙЕ РХОЛФЩ НЕОА, ЛОПРЛЙ ОБ РБОЕМЙ ХРТБМЕОЙС Й ЗПТСЮЙЕ ЛМБЧЙЫЙ (F3 УППФЧЕФУФЧЕООП).

рПУМЕУМПЧЙЕ. 1. ч РТПЗТБННЕ ЕЭЕ НОПЗП ЗМАЛПЧ, РПЬФПНХ ЧПУРПМШЪХКФЕУШ УПЧЕФПН - уПИТБОСКФЕУШ РП-ЮБЭЕ.2. уЕФШ УПИТБОСЕФУС Ч INI-ЖБКМ, ЛПФПТЩК, РТЙ ОЕПВИПДЙНПУФЙ, НПЦОП РТБЧЙФШ ТХЛБНЙ (С ФБЛ Й ДЕМБА :-).

вМБЗПДБТОПУФЙ. чЩТБЦБА ВМБЗПДБТОПУФШ ЧУЕН, ЛФП РПНПЗ НОЕ УПЧЕФПН ЙМЙ УМПЧПН ДПВТЩН, ПВОБТХЦЙМ ПЫЙВЛЙ Й ОЕ РПМЕОЙМУС УППВЭЙФШ НОЕ П ОЙИ, ЛУФБФЙ ЕУМЙ ПВОБТХЦЙФЕ МАВЩЕ ПЫЙВЛЙ, УППВЭЙФЕ НОЕ, С ПВСЪБФЕМШОП ТБЪВЕТХУШ, Ф.Л. РТПЗТБННБ ОБИПДЙФУС Ч УФБДЙЙ ТБЪТБВПФЛЙ.

вПМШЫПЕ УРБУЙВП нЙИБЙМХ ъБЧЕДЕЕЧХ, ПРЙУБОЙЕ РТПЗТБННЩ ЛПФПТЗП С РПМПЦЙМ Ч ПУОПЧХ ЬФПЗП ДПЛХНЕОФБ (УПВУФЧЕООП ОБРЙУБМ ЕЗП ПО, С ЧУЕЗП-МЙЫШ ЙУРТБЧЙМ - ОЕ МАВМА РЙУБФШ ДПЛХНЕОФБГЙА :-).

еУМЙ ДБООБС РТПЗТБННБ ЧБУ ЪБЙОФЕТЕУПЧБМБ - ЕЕ НПЦОП ЧЪСФШ ЪДЕУШ (127K RAR БТИЙЧ У РТЙНЕТБНЙ УЕФЕК).

рТЙ ЧЩИПДЕ ОПЧЩИ ЧЕТУЙК С РПУФБТБАУШ ПВОПЧМСФШ ДБООХА УФТБОЙЮЛХ.

фБЛЦЕ УПЧЕФХА РПУНПФТЕФШ РТПЗТБННХ нЙИБЙМБ ъБЧЕДЕЕЧБ, ВХДЕФ У ЮЕН УТБЧОЙФШ.

рПЦЕМБОЙС Й ЪБНЕЮБОЙС НПЦОП РТЙУМБФШ УАДБ.

Created 03.12.1997 23:27. Last updated 15.06.1999 23:25.

оБЪБД ОБ ЗМБЧОХА УФТБОЙГХ #bn { DISPLAY: block } #bt { DISPLAY: block }