1. L. Jiao, H.J. Huang, T.Y. Cheung, Property-preserving composition by place merging. J. Circ. Syst. Comput. 14(4), 793–812 (2005)
2. H.J. Huang, T.Y. Cheung, X.L. Wang, Applications of property-preserving algebras to manufacturing system design. J. Inform. Sci. Eng. 23, 167–181 (2007)
3. W.M. Mak, Verifying property preservation for component-based software systems (a Petri-net based methodology). PhD Dissertation, City University of Hong Kong, 2001
4. H.J. Huang, Enhancing the property-preserving Petri net process algebra for component-based system design (with application to designing multi-agent systems and manufacturing systems). PhD Dissertation, City University of Hong Kong, 2004
5. H.J. Huang, T.Y. Cheung, W.M. Mak, Structure and behaviour preservation by Petri-net-based refinements in system design. Theor. Comput. Sci. 328(3), 245–269 (2004)