close

Вход

Забыли?

вход по аккаунту

?

лаб5

код для вставкиСкачать
Лабораторная работа №5
Построение моделей с использованием системы CPN Tools 3.2.2ВыполнилГруппаПроверилДатаОценка
Задание
На два завода, factory1 и factory2 поступают два типа деталей (detali1 и detali2) для обработки, шлифовки, покраски и полировки. Для деталей двух типов обработка занимает 25 ед. времени, шлифовка 30 ед. времени, покраска 20 ед. времени, полировка 15 ед. времени. Смоделировать данный технологический процесс. Модель CPN Tools
При моделировании было создано 10 позиций и 7 переходов. Позиция factory1 задает завод, на который поступают 6 деталей первого типа, а позиция factory2 задает завод с поступлением 8 деталей второго типа.
Для задания количества деталей было установлено множество цветов "d1" для factory1 и множество цветов "d2" factory2. Начальная маркировка 6'detali1 и 8`detali2 соответственно, для чего на панели Declarations - Standard declarations создано следующее описание:
* colset d1=unit with detali1;
* colset d2=unit with detali2;
Для работы программы был задан атрибут дуги, для чего на панели Declarations - Standard declarations созданы следующие параметры:
* var n:d1; * var m:d2;
Отчет результата моделирования
Statistics
------------------------------------------------------------------------
State Space
Nodes: 6859
Arcs: 30475
Secs: 10
Status: Full
Scc Graph
Nodes: 1
Arcs: 0
Secs: 0
Boundedness Properties
------------------------------------------------------------------------
Best Integer Bounds
Upper Lower
lab5'factory1 1 6 0
lab5'factory2 1 8 0
lab5'out1 1 6 0
lab5'out2 1 8 0
lab5'q1 1 6 0
lab5'q2 1 8 0
lab5'q3 1 8 0
lab5'w1 1 6 0
lab5'w2 1 6 0
lab5'w3 1 8 0
Best Upper Multi-set Bounds
lab5'factory1 1 6`detali1
lab5'factory2 1 8`detali2
lab5'out1 1 6`detali1
lab5'out2 1 8`detali2
lab5'q1 1 6`detali2
lab5'q2 1 8`detali2
lab5'q3 1 8`detali2
lab5'w1 1 6`detali1
lab5'w2 1 6`detali1
lab5'w3 1 8`detali1
Best Lower Multi-set Bounds
lab5'factory1 1 empty
lab5'factory2 1 empty
lab5'out1 1 empty
lab5'out2 1 empty
lab5'q1 1 empty
lab5'q2 1 empty
lab5'q3 1 empty
lab5'w1 1 empty
lab5'w2 1 empty
lab5'w3 1 empty
Home Properties
------------------------------------------------------------------------
Home Markings
All
Liveness Properties
------------------------------------------------------------------------
Dead Markings
None
Dead Transition Instances
None
Live Transition Instances
All
Fairness Properties
------------------------------------------------------------------------
Impartial Transition Instances
model'shlif1 1
model'shlif2 1
model'obrabotka 1
model'pokraska1 1
model'pokraska2 1
model'polirovka1 1
model'polirovka2 1
Fair Transition Instances
None
Just Transition Instances
None
Transition Instances with No Fairness
None
1
Документ
Категория
Рефераты
Просмотров
15
Размер файла
77 Кб
Теги
лаб5
1/--страниц
Пожаловаться на содержимое документа