Abstract
This chapter investigates the composition of augmented marked graphs with a special focus on the preservation of properties. It starts with defining the composition of two augmented marked graphs via common resource places. We show that the integrated PT-net so obtained is also an augmented marked graph. A detailed analysis on the preservation of liveness, reversibility, boundedness and conservativeness for this composition then follows.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
K.S. Cheung, K.O. Chow, Compositional synthesis of augmented marked graphs, in Proceedings of the IEEE International Conference on Control and Automation (IEEE Press, 2007), pp. 2810–2814
K.S. Cheung, Composition of augmented marked graphs and its application to component-based system design. Inf. Technol. Control 36(3), 310–317 (2007)
K.S. Cheung, Compositional synthesis of distributed system components based on augmented marked graphs. J. Comput. Sci. Technol. 8(1), 34–40 (2008)
H.J. Huang, L. Jiao, T.Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, in Proceedings of the International Conference on Robotics and Automation (IEEE Press, 2003)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Cheung, K.S. (2014). Composition of Augmented Marked Graphs. In: Augmented Marked Graphs. Springer, Cham. https://doi.org/10.1007/978-3-319-06428-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-06428-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06427-7
Online ISBN: 978-3-319-06428-4
eBook Packages: Computer ScienceComputer Science (R0)