progr. |
этот агрегат состоит из движущейся слева направо ленты транспортёра, обрабатывающего устройства и двух роботов, которые перемещают ящики между этим устройством и лентой транспортёра, как изображено на рис. 17.2 (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |