TY - GEN
T1 - Composition of augmented marked graphs and its application to system integration
AU - Cheung, K. S.
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=54149118622&partnerID=8YFLogxK
U2 - 10.1109/CCCM.2008.361
DO - 10.1109/CCCM.2008.361
M3 - Conference contribution
AN - SCOPUS:54149118622
SN - 9780769532905
T3 - Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
SP - 79
EP - 83
BT - Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
T2 - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
Y2 - 3 August 2008 through 4 August 2008
ER -