Лабораторная работа №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'factory
lab5'factory
lab5'out
lab5'out
lab5'q
lab5'q
lab5'q
lab5'w
lab5'w
lab5'w
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
