TY - GEN
T1 - Compositional synthesis of augmented marked graphs
AU - Cheung, K. S.
AU - Chow, K. O.
PY - 2007
Y1 - 2007
N2 - 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 liven ess 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.
AB - 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 liven ess 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.
KW - Augmented marked graph
KW - Compositional synthesis
KW - Petri net
KW - Shared-resource system
UR - http://www.scopus.com/inward/record.url?scp=44349166244&partnerID=8YFLogxK
U2 - 10.1109/ICCA.2007.4376874
DO - 10.1109/ICCA.2007.4376874
M3 - Conference contribution
AN - SCOPUS:44349166244
SN - 1424408180
SN - 9781424408184
T3 - 2007 IEEE International Conference on Control and Automation, ICCA
SP - 2810
EP - 2814
BT - 2007 IEEE International Conference on Control and Automation, ICCA
T2 - 2007 IEEE International Conference on Control and Automation, ICCA
Y2 - 30 May 2007 through 1 June 2007
ER -