Compositional Synthesis of Augmented Marked Graphs

Augmented marked graphs possess some structural characteristics which are desirable for modelling shared-resource systems. This paper investigates the compositional synthesis of augmented marked graphs via a set of common resource places. It is shown that the synthesis preserves boundedness and conservativeness while liveness and reversibility can be preserved under a pretty simple condition. This can be applied to component-based system design, where a system is synthesised from a set of subsystems via common resources. By modelling the subsystems as augmented marked graphs and synthesising them via the corresponding resource places, based on the property-preserving features of this compositional synthesis, the properties of the integrated system can be readily derived.