CONTROL AND SIMULATION OF A MODERN AUTOMATED WAREHOUSE SYSTEM VIA A COLORED TIMED PETRI NET APPROACH