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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have