7

Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems

The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. The aim of this revolution is to transform the factories into, so called, smart factories. These smart factories will be modular, decentralized, and …