Real-time scheduling problems in a general flexible manufacturing system