Compositional Synthesis of Augmented Marked Graphs for Manufacturing System Integration
Simon K. S. Cheung, K. O. Chow · 2007
Augmented marked graphs possess a number of structural characteristics which are desirable for modelling manufacturing system components. This paper investigates the preservation of well-behaved system properties for compositional synthesis of augmented marked graphs via common resource places. By modelling the components of a manufacturing system as individual augmented marked graphs, based on the property-preservation of this compositional synthesis, essential properties of the integrated system can be readily derived.