Типі
|
Аты
|
Қысқаша жазбасы
|
папка
|
Data
|
Жалпы деректер, көбінесе графикалық файлдар
|
папка
|
Local
|
қолданушының локалды орнықтырулары
|
папка
|
Samples
|
Мәселелер
|
файл
|
BCGCB.dll
|
BCGControlBar компоненті
|
файл
|
Config.ini
|
VisualPetri бағдарламасының ішкі орнықтырулары
|
файл
|
VisualPetri.exe
|
VisualPetri бағдарламасы
|
файл
|
DeadLock.exe
|
DeadLock бағдарламасы
|
Бірақ, бағдарламалар кешені тиімді жұмыс істеу үшін тағы екі файл болу керек (кесте. 1.2), олар бағдарламалар кешенінің папкасында немес “C:\Windows\System” папкасында болу керек.
Кесте 1.2. Қосымша файлдар
Типі
|
Имя
|
Қысқаша жазбасы
|
файл
|
GDIPlus.dll
|
Microsoft Graphical Device Interface
|
файл
|
MFC42.dll
|
Microsoft Foundation Classes
|
Егер Windows XP операциялық жүйесі қолданылса, GDIPlus.dll файлының керегі жоқ.
Минималды жүйелік талаптар қанағаттандырылған болса және барлық керекті файлдар бар болса, DeadLock.exe файлын іске қосқаннан кейін бағдарламаның негізгі терезесі пайда болады (сур. 1.1).
Сур. 1.1. DeadLock бағдарламасының негізгі терезесі
Берілген батырмалардың біреуін басқанда сәйкес терезе шығады.
Тұғырықты болдырмау.“Обход тупика” батырмасын шерткенде “Алгоритм банкира Дейкстры” терезесі шығады, сур. 1.1.1 көрсетілген.
Сур. 1.1.1. “Алгоритм банкира Дейкстры”терезесі
Бұл тереземен жұмыс істеу процессі үш кезеңнен тұрады: жағдайды модельдеу жағдайды қадамдап шешу және нәтижелерді көру.
Жағдайды модельдеу үшін Добавить”_және_“Удалить”'>“Новая”, “Добавить” және “Удалить” батырмалары қолданылады.
“Новая” батырмасын шерткенде сур. 1.1.2 көрсетілген диалог терезесі экранға шығады.
Сур. 1.1.2. “Новая ситуация” диалог терезесі
Керекті деректерді еңгізгеннен кейін және “OK” батырмасын басқаннан кейін жаңа ситуация құрастырылады, яғни процесстердің белгіленген сандары жасалады және ресурстардың саны беріледі, ал алдында еңгізілген және алынғандар жойылады.
“Добавить” басқанда тағы бір терезе шығады (сур. 1.1.3).
Сур. 1.1.3. “Добавить” диалог терезесі
Керекті деректерді еңгізгеннен кейін және “OK” батырмасын басқаннан кейін белгіленген процесстер саны алдында бар болғандарға қосылады, ал ресурстар саны алдында орнықтырылғандарға қосылады.
“Новая ситуация” және “Добавить” терезелерімен жұмыс істегеннен кейін “Алгоритм банкира Дейкстры” терезесі келесі түрге ие болады, сур. 1.1.4. Бір немесе бірнеше процесстерді жою үшін, оларды тізілімнің ішінен белгілеп алып “Удалить” батырмасын басыңыз.
сур. 1.1.4. Ситуацияны құру
Ситуацияны жасау процессі «жаратылған» процесстердің параметрлерін берумен аяқталады. Параметрлерді беру немесе бар параметрлерді өзгерту үшін тізілімдегі оның атының үстінен екі рет мауспен шертіңіз. Сур. 1.1.5. көрсетілген диалог терезесі шығады
Сур. 1.1.5. “Изменение параметров процесса” диалог терезесі
“Имя” тізілімінде кез-келген «жаратылған» процесстердің бірін таңдауға болады. В соответствующих полях группы “Ресурсы” тобының сәйкес өрістерінде оның параметрлері пайда болады. Кажетті өзгертулерді еңгізгеннен кейін “Применить” батырмасын басыңыз. Егер деректерді еңгізген кезде қателіктер жіберілсе, сәйкес терезе шығады, онда қателікті түрі айтылады. “Закрыть” батырмасы диалогтік терезені ешқай өзгерістерсіз жабады.
Сонымен ситуацияны құру процессі аяқталды деп айтуға болады. Жасалған ситуацияны қадамдап шешу үшін “Назад”._“Вперед”'>“Вперед” және “Назад”.
“Вперед” батырмасын басқанды жасалған ситуацияда қателіктер тексеріледі, олар болмауы да мүмкін. Қателік табылған жағдайда қателік туралы ақпараты бар терезе шығады. Қателіктер болмаса, бір қадам анықталған алгоритм бойынша орындалады. Параметрлердің барлық өзгерістері және процесстірдің күйлері процесстер тізілімінің графтарында бейнеленеді және әрекеттер журналына жазылады.
Егер ситуацияның бір кезінде бірнеше қадам артқа оралу керек болса, “Назад” батырмасын шерту керек.
Сиутацияны қадамдап шешу кезеңі нәтижелерді көру кезеңімен тар байланысқан. Журнал терезесін “Лог” батырмасын шертіп шақыруға болады
(сур 1.1.6).
Сур 1.1.6. Әрекеттер журналының терезесі
“Файл” мәзірінің пунктінің ішіне “Открыть” және “Сохранить” командалары кіреді, олар журналдың ішіндегі ақпаратты файлға сақтауға мімкіндік береді.
Достарыңызбен бөлісу: |