On the integral modelling of control and production management systems

Because of the growing complexity of manufacturing systems, the design of a suitable control and production management system is a difficult task. To lend the designers a helping hand, various reference models have been developed. They usually are described in an informal way. This paper presents a formal specification of a control architecture for job-shops based on their parallel characte