A UML-based approach to the modelling and supervisory control of manufacturing machinery

This paper has presented an integrated approach to Unified Modelling Language (UML) for modelling and analysing discrete event controllers for real-time manufacturing systems, by reference to the case of a wrapping machine that wraps using film. It has shown that Petri-net theory can be used to improve the representation and analysis of the dynamic model of such systems, making the design engineer more confident that the model accurately represents the system. Also, it has shown that UML Use Case information and compositional Petri net techniques can be used to design the coordination and synchronisation logic for such systems. The methods and algorithms presented in the paper facilitate the automatic design of the synchronisation logic, and possibility of scalable designs for large compositional systems. The composite Petri-net model synthesised using these techniques can be used to implement a controller based on supervisory control theory