TY - GEN
T1 - Compositional synthesis of augmented marked graphs for manufacturing system integration
AU - Cheung, K. S.
AU - Chow, K. O.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - Augmented marked graph
KW - Compositional synthesis
KW - Manufacturing system
KW - Petri net
UR - http://www.scopus.com/inward/record.url?scp=46449088856&partnerID=8YFLogxK
U2 - 10.1109/ICITECHNOLOGY.2007.4290479
DO - 10.1109/ICITECHNOLOGY.2007.4290479
M3 - Conference contribution
AN - SCOPUS:46449088856
SN - 1424410924
SN - 9781424410927
T3 - IEEE ICIT 2007 - 2007 IEEE International Conference on Integration Technology
SP - 287
EP - 292
BT - IEEE ICIT 2007 - 2007 IEEE International Conferenceon Integration Technology
T2 - 2007 IEEE International Conference on Integration Technology, ICIT 2007
Y2 - 20 March 2007 through 24 March 2007
ER -