| Biography | |
|---|---|
 Prof. Simon K.S Cheung The Open University of Hong Kong, Hong Kong (China) |
|
| Title: THE DINING PHILOSOPHERS PROBLEM REVISITED : CONCURRENT PROCESS CONTROL USING AUGMENTED MARKED GRAPHS | |
| Abstract: The dining philosophers problem is a well-known example of a set of conflicting concurrent processes competing for some shared resources. This keynote revisits this problem from the perspective of augmented marked graphs. A subclass of Petri nets which are theoretically rich for system analysis, augmented marked graphs possess a structure especially useful for modelling and analysis of concurrent and competing processes. 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. The properties can be preserved under simple conditions after composition. The first part introduces the theories of augmented marked graphs, and their application to concurrent process control for automated system integration. The modelling and analysis of concurrent processes, which used to compete with each other for some shared resources, are illustrated with examples of manufacturing system integration. | |
| Biography: Dr. Simon K.S. Cheung is currently the Director of IT at Open University of Hong Kong. He received his BSc and PhD in Computer Science from City University of Hong Kong. He is a Chartered Engineer, Chartered Scientist, and IET Fellow, BCS Fellow, IMA Fellow, HKIE Fellow, and HKCS Fellow. He was the Director of IT Services at SPACE, University of Hong Kong. He has served as an editorial board member or guest editor of international journals and book series, and technical chair of international conferences. His publications include 1 research monograph, 25 edited books or volumes in book series, and 150+ refereed journal articles, book chapters and conference papers, mainly in two distinct areas, namely, software and system engineering, and technology in education. He has delivered 12 keynote speeches at international conferences in these areas. Awards received by him include the Outstanding Research Publication Award from Open University of Hong Kong, 1st Class Achievement in Computer Science and IT award from Shenzhen Science and Technology Association, 1st Class Outstanding Chief Information Officer award from Hong Kong Information Technology Joint Council, and Honouree for IT Excellence from CIO Asia. Dr. Cheung is listed in the Who's Who in Science and Engineering. | |
