MB1(8,9),13/MB1(8,10),16/MB1(8,11),10/MB1(8,12),22MB1(9,1),73/MB1(9,2),49/MB1(9,3),43/MB1(9,4),25/MB1(9,5),13/MB1(9,6),7MB1(9,7),10/MB1(9,8),13/MB1(9,9),0/MB1(9,10),17/MB1(9,11),10/MB1(9,12),22MB1(10,1),76/MB1(10,2),52/MB1(10,3),46/MB1(10,4),28/MB1(10,5),16/MB1(10,6),10MB1(10,7),13/MB1(10,8),16/MB1(10,9),17/MB1(10,10),0/MB1(10,11),10/MB1(10,12),22MB1(11,1),76/MB1(11,2),52/MB1(11,3),46/MB1(11,4),28/MB1(11,5),16/MB1(11,6),10MB1(11,7),10/MB1(11,8),10/MB1(11,9),10/MB1(11,10),10/MB1(11,11),0/MB1(11,12),12MB1(12,1),88/MB1(12,2),64/MB1(12,3),58/MB1(12,4),40/MB1(12,5),28/MB1(12,6),22MB1(12,7),22/MB1(12,8),22/MB1(12,9),22/MB1(12,10),22/MB1(12,11),12/MB1(12,12),0S(PECH),53,1KRAN MB (1, amp; PLACE, 1)/ amp; SKOROST MB (1,1,2)/ amp; SKOROST amp; PLACE=2KRANRTK11.06,0.05RTK1KRANMB (1, amp; PLACE, 2)/ amp; SKOROST MB ( 1,2,3)/ amp; SKOROST amp; PLACE=3KRANRTK23.05,0.20RTK2KRANMB (1, amp; PLACE, 3)/ amp; SKOROST MB (1,3,4)/ amp; SKOROST amp; PLACE=4KRANPECH50,5PECHKRANMB (1, amp; PLACE, 4)/ amp; SKOROST MB (1,4,5)/ amp; SKOROST amp; PLACE=5KRANRTK33.03,0.20RTK3KRANMB (1, amp; PLACE, 5)/ amp; SKOROST MB (1 , 5,6)/ amp; SKOROST amp; PLACE=6KRANRTK41.06,0.10RTK4L amp; STZAN, 4 * NU RTK5, RTK6 amp; STZAN= amp; STZAN + 1 KRANMB (1, amp; PLACE, 6)/ amp; SKOROST MB (1,6,7)/ amp; SKOROST amp; PLACE=7KRANRTK513.25,0.25 amp; STZAN= amp; STZAN - 1RTK5KRANMB (1, amp; PLACE, 7)/ amp; SKOROST MB (1,7,11)/ amp; SKOROST amp; PLACE=11KRAN, RTK9GATE NU RTK6, RTK7 amp; STZAN= amp; STZAN + 1KRANMB (1, amp; PLACE, 6)/ amp; SKOROST MB (1,6,8)/ amp; SKOROST amp; PLACE= 8KRANRTK614.15,0.50 amp; STZAN= amp; STZAN - 1RTK6KRANMB (1, amp; PLACE, 8)/ amp; SKOROST MB (1,8,11)/ amp; SKOROST amp; PLACE=11KRAN, RTK9GATE NU RTK7, RTK8 amp; STZAN= amp; STZAN + 1KRANMB (1, amp; PLACE, 6)/ amp; SKOROST MB (1,6,9)/ amp; SKOROST amp; PLACE=9KRANRTK710.05,0.15 amp; STZAN= amp; STZAN - 1RTK7KRANMB ( 1, amp; PLACE, 9)/ amp; SKOROST MB (1,9,11)/ amp; SKOROST amp; PLACE=11KRAN, RTK9BLET amp; STZAN= amp; STZAN + 1 KRANMB (1, amp; PLACE, 6)/ amp; SKOROST MB (1,6,10)/ amp; SKOROST amp; PLACE=10KRANRTK811.12,0.30 amp; STZAN= amp; STZAN - 1RTK8KRANMB (1, amp; PLACE, 10)/ amp; SKOROST MB (1,10 , 11)/ amp; SKOROST amp; PLACE=11KRAN, RTK9SEIZ RTK90.98,0.05RTK9KRANMB (1, amp; PLACE, 11)/ amp; SKOROST MB (1,11,12)/ amp; SKOROST amp; PLACE=12KRAN14401 1
END
. Перевірка адекватності моделі
Верифікація з використанням логічної блок-схеми та інтерактивного контролю за ходом моделювання
Інтерактивний контроль в режимі налагодження
Крок 1.1
В системі: надходження заготовки на склад, виклик крана
У моделі: генерація транзакта, заняття пристрою kran
Крок 1.2
В системі: переміщення крана до робочого місця
У моделі: нульова затримка, тому кран перебувати в потрібному місці
Крок 1.3
В системі: Взяття заготовки краном, перенесення заготовки краном
У моделі: затримка транзакта на час переміщення від складу до РТК1
Крок 1.4
В системі: звільнення крана
У моделі: звільнення пристрою kran і запис його нових координат в PLACE=2
Крок 1.5
В системі: надходження заготовки на верстат
У моделі: заняття пристрою RTK1
Крок 1.6
В системі: Обробка заготовки на РТК1
У моделі: Затримка транзакта на час обробки
Крок 1.7
В системі: Звільнення РТК1 і заняття крана
У моделі: звільнення пристрою RTK1 і заняття пристрою kran
Далі відбуваються аналогічні попереднім дії!
Крок 2.1
В системі: перевірка, чи є вільні верстати для нарізки зубів
У моделі: блок TEST, поки змінна STZAN не стане менше 4, транзакт буде затриманий в блоці TEST
Крок 2.2
В системі: У системі є вільні верстати по нарізуванню зубів. Перевірка, чи вільний РТК5?
У моделі: блок GATE, перевірка на вільність пристрої RTK5, якщо вільно то транзакт перейде в наступний блок, якщо ні, то в блок з ім'ям RTK6.
