English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

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

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