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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
