| Biography | |
|---|---|
 Dr. Simon K.S. Cheung Hong Kong Metropolitan University, China |
|
| Title: Augmented Marked Graphs : Theories and Applications | |
| Abstract: A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of component-based systems with concurrent processes and shared resources. As compared to other subclasses of Petri nets, augmented marked graphs are rather new in the literature, but were extensively studied in the past two decades. They possess a number of desirable properties pertaining to liveness, boundedness, reversibility and conservativeness. These desirable properties can be preserved after composition. This keynote presentation has two parts. The first part introduces the theories, pertaining to the structure and desirable properties as well as the property-preserving composition of augmented marked graphs. The second part focus on the applications of augmented marked graphs to the modelling and analysis of component-based systems. Flexible manufacturing systems and automated systems are used as examples or illustration. Key Reference: K.S. Cheung, Augmented Marked Graphs, xii + 150 pages, Springer, 2014. | |
| Biography: Dr. Simon K.S. Cheung is currently the Director of Information Technology at Hong Kong Metropolitan University. He received his BSc and PhD in Computer Science from the City University of Hong Kong, and his MPA from the University of Hong Kong. He is a Fellow of the Institution of Engineering and Technology (IET), Fellow of the Institute of Mathematics and its Applications (IMA), and Fellow of the British Computer Society (BCS), Fellow of the Hong Kong Computer Society (HKCS), and Fellow of the Hong Kong Institution of Engineers (HKIE). Dr. Cheung is active in research, with near 200 publications in the form of books, book chapters, journal articles and conference papers in two distinct areas, namely, software and system engineering, and innovation and technology in education. He has served as an editorial board member or guest editor of international journals, guest editor of book series, and conference chair, technical chair and programme chair of international conferences. He won the Outstanding Research Publications Award from the Open University of Hong Kong in 2016, and the 1st class Achievement in Computer and IT from Shenzhen Science and Technology Association in 2016. He has been listed in the Who's Who in Science and Engineering since 2007. | |
