COMPOSITION OF AUGMENTED MARKED GRAPHS AND ITS APPLICATION TO COMPONENT-BASED SYSTEM DESIGN

Abstract

Augmented marked graphs possess some structural characteristics which are especially desirable for modelling systems with common resources. This paper first investigates the composition of augmented marked graphs via common resource places. Special focus is placed on preservation of four properties, namely, liveness, boundedness, reversibility and conservativeness. It is then applied to component-based system design, where the system components are specified as augmented marked graphs and composed via their common resource places. Based on the preservation of properties of this composition, the liveness, boundedness, reversibility and conservativeness of the integrated system can be readily derived. Examples of manufacturing system integration are used for illustration.