Compositional Synthesis of Augmented Marked Graphs for Manufacturing System Integration

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.