Відправити по sms: THE USE OF TIMED COLOURED PETRI NETS IN A MANUFACTURING PROCESS MODELING AND SIMULATION