Augmented marked graphs possess some structural characteristics desirable for modelling systems with common resources. This paper investigates the composition of augmented marked graphs via common resource places, with a special focus on preservation of liveness, boundedness, reversibility and conservativeness. The composition is applied to component-based system design, where system components are specified as augmented marked graphs and composed via their common resource places. Based on 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.
展开▼
