Formal foundations for a process/resource approach in manufacturing systems behaviour modelling

Abstract The paper provides formal foundations for a specification model for manufacturing systems behaviour modelling. This is achieved by using the idea of “synchronisation of languages” and previous work on state-charts and Object Petri Nets. Consistently with this approach, the re-use of existing models in the context of enterprise engineering is stressed out and the use of standard methods for combining models is advocated to make it effective.